Безусловно оно, но я именно хотел без переустановки. Хорошо, сделаю так.
И возник ещё один вопрос по выбору пункта загрузки по умолчанию.
В меню выбора есть пункт "Ubuntu", в нём 1-й по порядку понкт из подменю,
и есть "Advanced menu", и как в /etc/default/grub указать, чтобы в "Ubuntu" был 3-й по порядку пункт?
На указание id или текстового имени grub не реагирует, я попробовал написать
GRUB_DEFAULT="1,2"
После этого в меню стал выбранным "Advanced menu", на "1>2" тоже не реагирует.
Оказалось, что с ядром 4.13 не конфигурируется подключение к рутеру, есть только lo.