Re: [PATCH 1/1] efi_loader: fix building aarch64 EFI binaries