A unique solutions, thanks for the idea.
As you reasoned, the system has an i7 quad-core HT CPU. The possibility of downgrading the CPU, while presumably solving the problem, would significantly cut down on the number of useful cores if it meant dual-core (even with HT). I'd be loathe to...