Re: [GTALUG] distro support for 32-bit UEFI