linux: use sysinfo(2) syscall