**Softboot Menu Cinnamon Desktop Applet Menu for kexec boot with kernel image selection menu (UI) (source repo)