Optional GRUB live boot menu entry for Kicksecure live mode - View it on GitHub