kernel/compat.c: make do_sysinfo() static