[PATCH 4/6] ntoskrnl.exe: Implement KeReleaseMutex() and waiting on mutexes.