Re: [PATCH 3/6] efi_loader: Implement EFI variable handling via OP-TEE