Identify kernel version in a way that does not depend on rpm
[bootmanager.git] / plc.d /
drwxr-xr-x   ..
-rwxr-xr-x 1018 bootmanager