Oh, I forgot: obviously we're talking i386 here, which is nowadays pretty much reduced to legacy machines like the ThinkPad in question. Isn't almost everyone using amd64, which for obvious reasons would be unaffected, anyway?