efi-init.c revision f30f242f
1