I'm trying the 32 bit developer preview on Virtual Box 4.0.12 with Host as a WinXpSP3 system. Even with the above settings I keep getting a "computer needs to restart" error. Anyone faced/solved this issue?