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 setupmensaje 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.0resolvió el problema.