kernel/timer.c: move some non timer related syscalls to kernel/sys.c