у файлі /etc/default/grub необхідно виправити один рядок:
GRUB_DEFAULT=0
замість 0 треба вказати номер рядка (починаючи від 0!), який треба завантажувати — в моєму випадку 2 (третій рядок). після цього необхідно виконати конфігуратор grub 2 (звісно, від root’а):sudo update-grub
готово.