Macchine virtuali VBox Console grafica comando : VirtualBox Ripristinare macchina dopo aggiornamento del kernel: /etc/init.d/vboxdrv setup