Re: [PATCH 1/3] efi_loader: all variable attributes are 32bit