TBF the TLB bug (which coincidentally Intel had one as well, but anyways) was more of a server problem than a desktop one, and you had the choice to enable the BIOS patch if you wanted to, I recall someone on this forum NOT enabling it and running fine. That aside Capn is also right AMD would not have been able to foot that bill, this goes a long way to show how much EXTRA cash intel has lying around on its floors....
On a related note, good of them to go the Dell/HP/Apple/everyone who had a certain Nvidia chipset albeit ALOT FASTER and without saying its EVERYONE ELSE FAULT. XD