kernel/timer.c: convert compat_sys_sysinfo to COMPAT_SYSCALL_DEFINE