use {grub,boot}aa64.efi for boot images on AArch64

According to UEFI 2.4 specification, default boot file name on AArch64
is BOOTAA64.EFI (3.4.1.1 Removable Media Boot Behavior). Also set default
GRUB image name to grubaa64.efi to match it.

Origin: backport, http://git.savannah.gnu.org/gitweb/?p=grub.git;a=commitdiff;h=c9e839e2caaf278491f99e7d181cf20dcf5f0b75
Last-Update: 2014-03-10

Patch-Name: install_arm64_naming.patch

diff --git a/util/grub-install.c b/util/grub-install.c
index 98da118f0d0c3c228df2d5ac38a1bc9a9d8b8643..b4fe429b1a8830fd9e4bdac68b1214beb32bc236 100644 (file)
--- a/util/grub-install.c
+++ b/util/grub-install.c
@@ -1110,8 +1110,8 @@ main (int argc, char *argv[])
          efi_suffix_upper = "ARM";
          break;
        case GRUB_INSTALL_PLATFORM_ARM64_EFI:
-         efi_suffix = "arm64";
-         efi_suffix_upper = "AARCH64";
+         efi_suffix = "aa64";
+         efi_suffix_upper = "AA64";
          break;
        default:
          break;