just as an FYI, this issue seems to occur when the ACPI Multiprocessor driver is installed along with the proper SMP hal.dll.
We are testing some new Lenovo C2D for production deployment and are running into BSODs at random that is not consistent in what action is taken...
Separate names with a comma.
