Как изменить ядро ​​для загрузки в GRUB?

У меня есть ядро ​​4.4.0-66-generic-tuxonice и хотел бы изменить его на другой с 4.4.0-66-generic.

Как я могу изменить записи в файле конфигурации grub, чтобы сделать это? У меня есть:

SET GRUB_DEFAULT=0  

Я считаю, что мы можем выбрать конкретное ядро, указав его имя? Я не знаю, как это сделать, хотя ...

Причина в том, что 4.4.0-66-generic, похоже, делает спящий режим лучше, чем TuxOnIce, но он запрашивает файлы TuxOnIce.