More bugfixes from PR comments
Kernel: Began Implementing Timer and Semaphore Primitives