[PATCH 1/4] ntoskrnl.exe: Implement KeReleaseSpinLockFromDpcLevel().