Prova ad riavviare il servizio nel tentativo di compilare il modulo per il kernel.
Qualcosa del genere:
codice:
# /etc/init.d/vboxdrv start
ciao