Dodałem właśnie do GRUBA możliwość startu z dowolnego kernela lub systemu operacyjnego.
Całość najlepiej opisuje obrazek po lewej stronie. Jest to namiastka Grub Customizera. Ograniczyłem wsparcie na chwilę obecną do Ubuntu-podobnych z Grubem w wersji min 2.xx (Mint widzę, że robi to inaczej).
Default przywraca wyjściowe ustawienia czyli start z domyślnego kernela.