Debirf module for a Timed reboot into a specifed kernel
Adding quotes, setting up the label and using a var to refer to debirf.conf file
Do not duplicate 'debirf make' options, just pass anything unprocessed to it
Use full path to the reboot command and make rc.local executable
Check for the exact kernel name in the grub custom kernel config menu item