[Solved!] Boot/install support for mixed-mode UEFI (32 bit UEFI bootloader, 64 bit processor)