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