История изменений
Исправление mky, (текущая версия) :
https://wiki.debian.org/GrubReboot
Или здесь не про перезагрузку в другую ОС, а только про опции? Тогда, наверное, нужно создать отдельный пункт в меню и загружаться в него.
Исходная версия mky, :