Kernel/Timers: Addressed some issues