[Bug 901061] 32-Bit UEFI bootloader support needed