Ich hab mir jetzt nicht alles durchgelesen, aber könnte es vielleicht an den RAM-Timings liegen? Gut möglich, dass es nur eine Kleinigkeit ist, denn 3,8GHz solllten eigentlich schon möglich sein.