Re: [opensuse-arm] AArch64 EFI builds