Das Problem bei allen Vorgängern war einfach der Coldbug, ab einer bestimmten Temp im Minus war Ende, somit sind Stickstoff und Helium als Kühlmittel weggefallen und dann kann man keine Rekorde brechen.
Unter Lukü sind mit nem 32 Bit-System sicher über 4GHz stabil drin, unter 64Bit siehts anders aus, da sinds meistens so 3,6-3,8.
€: Hier gibts übrigens ne Liste der OC-Ergebnisse:
http://www.ripping.org/database.php?coreid=Deneb