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