Re: [Patch v2 1/4] efi/x86: turn EFI runtime semaphore into a global lock