DDR3 entspricht der effektive Takt (angenommen: 2400 Mhz) dem doppelten des Tatsächlichen Taktes (in diesem Fall: 1200 Mhz), es ist also beides richtig.
DDR steht für Double Data Rate (also doppelte Datenrate pro Takt / pro Hz)...
Also keine Panik es nichts verstellt, sondern alles in Ordnung...
Bei meinem PC (nur 1333 Mhz Ram, den Unterschied zu solch hohem Speicher ist sowieso einstellig bei der Performance, steht im BIOS 1333 Mhz und 667 lesen Tools aus, also auch richtig...).