Error en VirtualBox tras una actualización

Si después de una actualización del kernel la aplicación VirtualBox no arranca haz lo siguiente:

 $ sudo apt-get install dkms linux-headers-$(uname -r)
 $ sudo /etc/init.d/vboxdrv setup

Primero hay que instalar los ficheros de cabecera del kernel, necesarios para la posterior compilación de los módulos. Al ejecutar el setup volverá a compilar los módulos necesarios para que funcione VirtualBox.