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.

diff --git a/util/grub-install.c b/util/grub-install.c
index 8cfe0eaa2ef736401247278529d7123a9ff3f821..4608b80fe05d4761cd4f3a3e3867ab9617ac4bff 100644 (file)
--- a/util/grub-install.c
+++ b/util/grub-install.c
@@ -1091,7 +1091,7 @@ main (int argc, char *argv[])
              efi_file = "BOOTARM.EFI";
              break;
            case GRUB_INSTALL_PLATFORM_ARM64_EFI:
-             efi_file = "BOOTAARCH64.EFI";
+             efi_file = "BOOTAA64.EFI";
              break;
            default:
              grub_util_error ("%s", _("You've found a bug"));
@@ -1118,7 +1118,7 @@ main (int argc, char *argv[])
              efi_file = "grubarm.efi";
              break;
            case GRUB_INSTALL_PLATFORM_ARM64_EFI:
-             efi_file = "grubarm64.efi";
+             efi_file = "grubaa64.efi";
              break;
            default:
              efi_file = "grub.efi";