On Thu, 13 Mar 2025 14:44:18 +0000 (UTC) Gianfranco Costamagna <locutusofb...@debian.org> wrote: > Hello, yes and I have no idea about the fix.
Would it be possible to just disable the efi binaries build exclusively on arm64? That way nothing is lost w.r.t. status quo
