[PATCH 1/6] ntoskrnl.exe: Implement KeInitializeSemaphore().