(In the mean time, I have a Dell box doing this for me, though it was hard to set up. It took hours of debugging to figure out that OpenSolaris would crash until I disabled the second core/SMP. Then, it took hours to find out that the network crashed randomly due to a driver bug, and to find the right hotpatch off a random forum thread.)