pour voir les entrées existantes dans grub:
cat /boot/grub/grub.cfg | grep menuentry | grep Linux
les entrées correspondent aux kernels installés:
dpkg -l | grep linux-image

sudo grub-reboot "gnulinux-3.13.0-32-generic-advanced-e50666ec-3f77-4917-8879-f73368a2a217"
sudo grub-set-default "gnulinux-3.13.0-32-generic-advanced-e50666ec-3f77-4917-8879-f73368a2a217"
sudo update-grub