Helper tools to automatically generate a kboot.conf from entries in /boot

The kboot.conf file can be read by the petitboot  bootloader which is used for 
instance on the Sony Playstation 3 in OtherOS mode in order to list kernels to 
boot.