Linux Kernel Upgrade / Downgrade in Ubuntu

Sometimes you may want to change the kernel running.

Get list of installed kernel in the system:

dpkg -l 'linux-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)/\1/")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d'

linux-headers-3.5.0-17
linux-headers-3.5.0-17-generic
linux-headers-3.5.0-27
linux-headers-3.5.0-27-generic
linux-headers-3.5.0-28
linux-headers-3.5.0-28-generic
linux-headers-3.5.0-39
linux-headers-3.5.0-39-generic
linux-image-3.5.0-17-generic
linux-image-3.5.0-27-generic
linux-image-3.5.0-28-generic
linux-image-3.5.0-39-generic
linux-image-extra-3.5.0-17-generic
linux-image-extra-3.5.0-27-generic
linux-image-extra-3.5.0-28-generic
linux-image-extra-3.5.0-39-generic

Install version of headers and kernel image
apt-cache search linux-image
Eg. just install the 3.5.0-39 version of kernel
sudo apt-get install linux-image-3.5.0-39-generic

Install 3.5.0-32 version of kernel
sudo apt-get install linux-image-extra-3.5.0-32-generic linux-image-3.5.0-32-generic linux-headers-3.5.0-32-generic linux-headers-3.5.0-34

Update grub to default into the version you just installed.

gksudo gedit /etc/default/grub

Reboot

References
http://askubuntu.com/questions/233380/how-do-i-downgrade-kernel-on-12-10