Set proper boot catalog in aarch64_efi
Merge pull request #412 from andreas-schwab/master

Set proper boot catalog in aarch64_efi