A quanto risulta dal forum della comunità virtualbox è un problema già noto, non si è ancora capito però se è causato dal nuovo kernel o da virtualbox stesso.
In modo completamente casuale, a volte risulta impossibile caricare i moduli vbox nel kernel (con un errore riguardante la funzione nmi_watchdog), a volte invece non ci sono problemi.
L'unica soluzione al momento è lanciare il comando
Code:
sudo /etc/init.d/vboxdrv start
in un terminale, fino a quando i moduli vengono caricati senza problemi (di solito 2-3 tentativi).
Una volta caricati, tutto funziona a meraviglia.
_________________
Please consider a little donation to keep the 'Linux On My Samsung' project up and running. Thank you!