2013-02-03, 21:32
Sorry - the link should have been https://wiki.ubuntu.com/Kernel/MainlineBuilds (there was a dot appended to the original link). I followed the procedure mightydh shows above - I didn't need to do anything else except reboot.
Removal of the kernel is easy too, just use apt-get remove on the packages you just installed and reboot.
Removal of the kernel is easy too, just use apt-get remove on the packages you just installed and reboot.