fix problem wherein we break kernel install if we're not configured yet
[debian/elilo] / tools /
drwxr-xr-x   ..
-rw-r--r-- 1298 Makefile
-rw-r--r-- 6698 eliloalt.c