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