Comment 9 for bug 1341944

Bug #1025555 deals specifically with the 32-bit version of Ubuntu, therefore this is not necessarily a duplicate of #1025555. This bug report is about installing 64-bit Ubuntu on 64-bit machines with 32-bit UEFI only. I am unmarking 1025555 as a duplicate, as that seems to be complicating the issue.

All that needs to happen here is the 64-bit Ubuntu installer needs to simply install both the 32-bit and 64-bit Grub UEFI binaries, which UEFI by design supports natively. I have tested this and can confirm that by installing both 32- and 64-bit Grub on these machines, I can boot a 64-bit Ubuntu OS. (64-bit Grub is not required to boot, but the key is that they can coexist in the UEFI directories.)