[PATCH] time: x86_64: split x86_64/kernel/time.c up