fix problem wherein we break kernel install if we're not configured yet
[debian/elilo] / debian / source /
drwxr-xr-x   ..
-rw-r--r-- 12 format