Hi All, Over the last couple of months we have learned that many dual core AMD Athlon64 X2 and AMD Opteron systems using nVidia's nForce4 chipset come with a broken MP BIOS implementation. As a result, they will not work with the bsd.mp kernel. For some of these systems, a BIOS update is available that fixes this, but for many cheaper desktop such an update doesn't seem to exist. Over the last few weeks, workarounds that fix up these broken MP BIOSes have been committed to -current. As of today, these workarounds have also been committed to the i386 platform. So if your machine doesn't work properly with a 3.9 bsd.mp, you might want to try your luck with a -current snapshot a go.
If running a -current snapshot doesn't resolve the problems, please submit a full bug report. Cheers, Mark