[Pkg-virtualbox-devel] Bug#655202:

[Mathias Teikari]

This appears to the same as upstream ticket #10528

https://www.virtualbox.org/ticket/10528

Applying the disable NMI watchdog workaround has been successful on my
setup and provided a stable system over several (>10) boot cycles.

Regards,
-- 

Mathias Teikari
--
Email:  mathias at teikari.net
--
SIP: mathiasteikari at ekiga.net
--
MSN:    mathiasteikari at hotmail.com
Jabber: mathiasteikari at jabber.com.au
ICQ:    21144560
--
PGP public key ID: 1024D/1DBB514D 2005-01-02
PGP key fingerprint: 230E 0C0D DBA2 D05A 59DA  3BDA 7010 2939 1DBB 514D
Keyserver: http://www.keyserver.net./