by the way, if you need to set the old kernel as default, you can use Startup Manager to do so. (Note that setting an older kernel as default was broken in Mint 11's grub)
By the way, if you want to try more kernels, you can find a lot of versions here: http://kernel.ubuntu.com/~kernel-ppa/mainline/
Version 3.3 has just been released (the v3.3-precise folder).
Users browsing this forum: No registered users and 2 guests