Comment 76 for bug 1025555

FYI, there are 2 Debian Boot CDs with 32 bit UEFI support:

http://cdimage.debian.org/cdimage/unofficial/efi-development/upload4/

debian-wheezy-i386-efi-test4.iso and debian-wheezy-amd64-i386-MA-efi-test4.iso will usually boot just fine on 32 bit UEFI machines that have no legacy mode. Maybe Steve McIntyres work can be adapted to create 32 bit UEFI install media for Ubuntu.