A few weeks ago Nicolas reported some impressive TSC wreckage on his i7-3820 running on an AsusTek Rampage IV Gene board [*].
These are a few patches that should hopefully allow us to do better in the face of such 'creativity'. [*] to be fair, Asus did in fact release a BIOS update that fixes this issue.
