I edited /etc/default/grub according to: https://wiki.ubuntu.com/Grub2
sudo apt-get upgrade now works fine!
I edited /etc/default/grub according to: https:/ /wiki.ubuntu. com/Grub2
sudo apt-get upgrade now works fine!