Re: [U-Boot] [PATCH v3] efi_loader: Check machine type in the image header