Workaround:
1. Install http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.11.11-trusty/linux-image-3.13.11-03131111-generic_3.13.11-03131111.201411111336_amd64.deb
2. Edit /etc/default/grub and set:
GRUB_DEFAULT="Advanced options for Ubuntu>Ubuntu, with Linux 3.13.11-03131111-generic"
3. Run "sudo update-grub"
4. Reboot.
Workaround:
1. Install http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v3.13.11. 11-trusty/ linux-image- 3.13.11- 03131111- generic_ 3.13.11- 03131111. 201411111336_ amd64.deb
2. Edit /etc/default/grub and set:
GRUB_DEFAULT= "Advanced options for Ubuntu>Ubuntu, with Linux 3.13.11- 03131111- generic"
3. Run "sudo update-grub"
4. Reboot.