File grub2-arm64-bootaa64-fix-1.patch of Package grub2.15813

commit c9e839e2caaf278491f99e7d181cf20dcf5f0b75
Author: Andrey Borzenkov <arvidjaar@gmail.com>
Date:   Tue Jan 7 10:38:54 2014 +0400

    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 8cfe0ea..4608b80 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"));
@@ -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";