Re: [PATCH 2/2] efi: efi_guid_t must be 64-bit aligned