Re: [opensuse] building a 32 bits efi file for leap