nuevo kernel 3.5 oficial para ubuntu 12.04: instalado, probado y desinstalado

Me había enterado que Ubuntu 12.04.2 LTS venía con un nuevo kernel 3.5 y aunque ya advertían que podía haber problemas con tarjetas ATI yo lo probé en mi portátil que tiene una tarjeta intel. Para ello bastó con teclear el siguiente comando y reiniciar:
sudo apt-get install linux-image-3.5.0-24-generic linux-headers-3.5.0-24

Tras hacer algunas pruebas me doy cuenta que algunas cosas como virtualbox ya no funcionan así que vuelvo a atrás, para ello he hecho lo siguiente:

• Tomo nota del número del último kernel 3.2.x instalado.
• Reinicio el sistema y en el arranque de grub he pulsado E para editar la línea de arranque
• Cambio las apariciones de 3.5.0-24 por 3.2.0-28 que era el último kernel 3.2 instalado.
• Pulso F10 para iniciar con este kernel.
• Tecleo los comandos para desinstalar el kernel 3.5.0.24:
  sudo apt-get remove linux-image-3.5.0-24-generic linux-headers-3.5.0-24
  sudo update-grub2
• Y reinicio una vez más para arrancar con el kernel correcto.

Si algún usuario de Ubuntu 12.04.2 LTS no está contento con este kernel puede hacer lo mismo, primero se instala el último de la serie 3.2 y luego se queda con el que le vaya mejor.
En GNU/Linux todo es reversible.