Вчера минут 20 тщетно пытался изменить параметры GRUB2 в файле /etc/default/grub, чтобы GRUB2 выводил меню выбора ОС. Пришлось изменять скрипты из /etc/grub.d. Идем в папку /etc/grub.d и открываем файл 30_os-prober:

sudo gedit /etc/grub.d/30_os-prober

в открывшемся файле изменяем следующие параметры на значение с -1 на 1:

if [ "x${GRUB_HIDDEN_TIMEOUT}" = "x0" ] ; then
cat < if [ \${timeout} != 1 ]; then
if keystatus; then
if keystatus --shift; then
set timeout=1
else
set timeout=0
fi
else
if sleep$verbose --interruptible 3 ; then
set timeout=0
fi
fi
fi
EOF
else
cat << EOF if [ \${timeout} != 1 ]; then
if sleep$verbose --interruptible ${GRUB_HIDDEN_TIMEOUT} ; then
set timeout=0
fi
fi
EOF

Затем вводим команды:
sudo grub-mkconfig
sudo update-grub2

Перезагружаем компьютер.