Hmm, I'm going by memory but I distinctly remember reading they were recalled and that Dell among others were issuing replacements for their systems with the faulty chips. Perhaps it's true that it wasn't officially recalled.

Also your link mentions Lenovo did briefly offer repairs in 2010-2011, so I guess I could have taken part, but that was about 2 years after I ejected the company from my world.