[PATCH v2 0/2] efi_loader: fix building aarch64 EFI binaries