Ciao Giovinobass
ti volevo solo avvisare che il tuo problema con virtualbox dovrebbe esser risolto, necessita l' installazione del kernel 4.9.30 presente nel repo devel-makedist. Non è ancora stato testato quindi ti consiglio di attendere oppure, se hai voglia di cimentarti usa solamente, come precauzione, una macchina non di produzione.
La tua prova potrebbe essere molto utile per lo sviluppo!
Grazie

Ho provato ad aggiornare Virtualbox con la versione disponibile da oggi, e a me funziona anche con i kernel aggiornati.