# see arch/x32/src/sysinfo.c