[PATCH] fix name of default boot image on AArch64

[Andrey Borzenkov]

According to UEFI 2.4 specification, default boot file name on AArch64
is BOOTAA64.EFI (3.4.1.1 Removable Media Boot Behavior).

---
 util/grub-install.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/grub-install.c b/util/grub-install.c
index 8cfe0ea..d3b9db7 100644
--- 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"));
-- 
tg: (668add2..) u/aarch64-default-boot (depends on: master)