Intel Core 2 and some problems

The BSD guys ( Theo de Raadt and co ) have unearthed some fairly serious sounding issues in Core 2 chips, some of these issues even maybe being exploitable from userspace. More here and here.