A new guide has been published: How to change default kernel in Ubuntu Linux
Linux Shout published a tutorial about changing the default kernel in Ubuntu Linux.
Read more @ Linux Compatible
