But I still have the previous Kernel (2.6.30) installed, so the workaround is rather simple - make this Kernel the default one in GRUB2.
I didn't bother looking this up anywhere, but the following procedure works for me (as root):
- open /etc/default/grub for editing
- modify GRUB_DEFAULT:
GRUB_DEFAULT=2the number in red is the number of the GRUB2 menu entry you wish to make default (the first menu entry number is 0)