Nuovo kernel installato (qualche giorno fa), avvio VirtualBox, si accorge della modifica e senza farmi perdere tempo in ricerche su internet mi informa che la soluzione è:

sudo /etc/init.d/vboxdrv setup

Meno tempo perdo -> più cose faccio!🙂