Re: [PATCH 4/5] efi_loader: add ExitBootServices() measurement