Après avoir mis à niveau le noyau, VirtualBox, comme d'habitude, s'est plaint que le pilote du noyau Linux VirtualBox (vboxdrv) n'était pas chargé, et j'ai dû exécuter la commande suivante:
sudo /sbin/rcvboxdrv setup
Malheureusement, cette fois, l'exécution de l' rcvboxdrv setup
échec avec le message Bad argument setup
. Je suppose que c'est un bogue de régression introduit dans le récent paquet VirtualBox sur la page d'Oracle.
Comment résoudre le problème et pouvoir exécuter VirtualBox?
sudo apt-get install --reinstall virtualbox-5.0
résolu le problème.