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.
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.