I have to upgrade to the new 3.7 kernel from 3.5 on Ubuntu 12.10 (3.5.0-24-generic kernel default) while also leaving the previously installed kernels and allow their optional selection during the boot process via grub2.