fix problem wherein we break kernel install if we're not configured yet
[debian/elilo] / efi110 /
drwxr-xr-x   ..
-rw-r--r-- 3761 efiConsoleControl.h