[PATCH v4 07/17] efi_loader: value of VendorKeys