Added fixes from PR comments
Kernel: Began Implementing Timer and Semaphore Primitives