Kernel/Semaphore: Small style change