[PATCH 2/3] efi_loader: EFI_VARIABLE_READ_ONLY should be 32bit