for the record, I loaded the default settings and restart, then applied my custom 4,6 ghz OC preset previously saved in my bios and restart -> boot into lion and BOOM 15,500 AGAIN.
cinebench from 8,70 to 9
and geekbench from 14,500 to 15,500.
then restarted(not completely shutted down, power...