efi-init.c revision 2d09e6eb
1