svn - Revision 8890: /trunk/kernel/efi/loader