/dev might be present but not populated. fixes the boot issue on f8/f12.
[bootmanager.git] / support-files /
drwxr-xr-x   ..
-rw-r--r-- 185 desc
-rwxr-xr-x 4317 uudecode.gz