The virtualbox guys have fixed that in SVN already. We will see, when is released. Until then, workaround to fix it is:
1. open a terminal window
2. type "sudo gedit /etc/default/grub" (without the quotes) and press enter
3. Comment out the line GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" by adding a "#" character in front.
4. Add new line below: GRUB_CMDLINE_LINUX_DEFAULT="quiet splash nmi_watchdog=0 nowatchdog"
5. Save and exit
6. type "sudo update-grub" (without the quotes) and press enter
7. reboot.
The virtualbox guys have fixed that in SVN already. We will see, when is released. Until then, workaround to fix it is: LINUX_DEFAULT= "quiet splash" by adding a "#" character in front. LINUX_DEFAULT= "quiet splash nmi_watchdog=0 nowatchdog"
1. open a terminal window
2. type "sudo gedit /etc/default/grub" (without the quotes) and press enter
3. Comment out the line GRUB_CMDLINE_
4. Add new line below: GRUB_CMDLINE_
5. Save and exit
6. type "sudo update-grub" (without the quotes) and press enter
7. reboot.