Change grub-mkrescue to use bootaa64.efi too

Also add ChangeLog entry for previous change.

ChangeLog

@@ -1,3 +1,10 @@
+2014-01-07  Andrey Borzenkov <arvidjaar@gmail.com>
+
+	* util/grub-install.c: Use bootaa64.efi instead of bootaarch64.efi on
+	arm64 to comply with EFI specification. Also use grubaa64.efi for
+	consistency.
+	* util/grub-mkrescue.c: Change to use bootaa64.efi too.
+
 2014-01-07  Andrey Borzenkov <arvidjaar@gmail.com>
 
 	* include/grub/osdep/hostfile_windows.h: Do not redefine fseeko/ftello

util/grub-mkrescue.c

@@ -663,7 +663,7 @@ main (int argc, char *argv[])
       make_image_fwdisk_abs (GRUB_INSTALL_PLATFORM_ARM_EFI, "arm-efi", imgname);
       free (imgname);
 
-      imgname = grub_util_path_concat (2, efidir_efi_boot, "bootaarch64.efi");
+      imgname = grub_util_path_concat (2, efidir_efi_boot, "bootaa64.efi");
       make_image_fwdisk_abs (GRUB_INSTALL_PLATFORM_ARM64_EFI, "arm64-efi",
 			     imgname);
       free (imgname);