[Bug 1178338] [installation-images] Support for 64-bit processors on motherboards with 32-bit UEFI (mixed-mode support)