Add support for EFI on aarch64