uefi.c revision 0c4bad7f
1