[PATCH 3/6] hal: Implement KeReleaseSpinLock().