Después de actualizar el kernel, VirtualBox, como de costumbre, se quejó de que el controlador del kernel de VirtualBox Linux (vboxdrv) no está cargado y tuve que ejecutar el siguiente comando:
sudo /sbin/rcvboxdrv setup
Desafortunadamente, esta vez, la ejecución del rcvboxdrv setup
mensaje falló Bad argument setup
. Supongo que este es un error de regresión introducido en el reciente paquete VirtualBox en la página de Oracle.
¿Cómo solucionar el problema y poder ejecutar VirtualBox?
sudo apt-get install --reinstall virtualbox-5.0
resolvió el problema.