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
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;