VirtualBox y nuevo kernel

Tras actualizar el kernel de linux, es posible que VirtualBox nos de problemas. Se solucionan recompilando la aplicación con el comando:

/etc/init.d/vboxdrv setup

Y podemos volver a usar VirtualBox.