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