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