Kernel/Semaphores: Addressed some issues.