Handle aarch64 in GRUB2EFI