Dopo aver aggiornato il kernel, VirtualBox, come al solito, si è lamentato del mancato caricamento del driver del kernel di VirtualBox Linux (vboxdrv) e ho dovuto eseguire il comando seguente:
sudo /sbin/rcvboxdrv setup
Purtroppo, questa volta, l'esecuzione del rcvboxdrv setupmessaggio non è riuscita Bad argument setup. Immagino che questo sia un bug di regressione introdotto nel recente pacchetto VirtualBox sulla pagina di Oracle.
Come risolvere il problema ed essere in grado di eseguire VirtualBox?
sudo apt-get install --reinstall virtualbox-5.0risolto il problema.