efi.c revision 47533968
1