KernelClaus: Fix Mutex with Semaphore