socsvn - Revision 337283: /soc2011/gk/ino64-head/sys/boot/efi