Re: [Tee-dev] [U-Boot] [RFC] efi_loader: EFI variables