[Bug 1172292] Support for 64-bot processors on motherboards with 32-bit UEFI