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