[PATCH v2 4/6] ntoskrnl.exe: Implement KeReleaseSpinLock().