[U-Boot] [PATCH 1/1] efi_loader: correctly set the machine type in the PE header