Re: 32-bit UEFI