x32: fix sysinfo()