Make Semaphore the default kernel