aarch64 generic iso images now confirmed working on efi-based systems ...