Après la mise à jour du kernel.
J’ai eu droit a un beau message d’erreur en démarrant VirtualBox.
"VirtualBox kernel driver not installed"

La soluce :
^{https://answers.launchpad.net/ubuntu/+source/virtualbox-ose-modules/+question/33296}