svn - Revision 8892: /trunk/kernel/efi