Handle aarch64 in GRUB2EFI
Merge pull request #49 from andreas-schwab/master

Handle aarch64 in GRUB2EFI