Add support for EFI on aarch64
Merge pull request #407 from andreas-schwab/master

Add support for EFI on aarch64