Thanks for your bug report. It looks like your grub is out of date. Please make sure you have the latest version. Doing a full "sudo apt-get dist-upgrade" is advised.
Thanks for your bug report. It looks like your grub is out of date. Please make sure you have the latest version. Doing a full "sudo apt-get dist-upgrade" is advised.