logfile for live-update-bootmenu
support custom options in GRUB