Modify the installation medium to boot on 32-bit UEFI Get a bootia32.efi file, I used this one from John Wells. Copy the file into the EFI/BOOT/ folder on the boot medium.