Merge "kernel: Add hooks for user-accessible timers in the kernel."