bugfix (would not find kernel at all)
[bootmanager.git] / plc.d /
drwxr-xr-x   ..
-rwxr-xr-x 1018 bootmanager