A workaround is to use the previous (3.2.0-37) kernel by default:
sudo gedit /etc/default/grub
-GRUB_DEFAULT=0 +GRUB_DEFAULT="2>0"
sudo update-grub
A workaround is to use the previous (3.2.0-37) kernel by default:
sudo gedit /etc/default/grub
-GRUB_DEFAULT=0
+GRUB_DEFAULT="2>0"
sudo update-grub