Confermo che ero capitato anche io nel BUG del post seguente: https://www.virtualbox.org/ticket/10528 e che con la riga seguente in grub ho risolto: GRUB_CMDLINE_LINUX_DEFAULT="quiet splash nmi_watchdog=0 nowatchdog" Ciao Mauro Soligo