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: math...@teikari.net -- SIP: mathiasteik...@ekiga.net -- MSN: mathiasteik...@hotmail.com Jabber: mathiasteik...@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./ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org