I bought a set of g skill trident x f3-2400c10d-8gtx. The G Skill website states that this ram has a tested speed of 2400Mh but in my bios eache module states they only have a speed of 1333Mhz. which is the correct speed for this ram. Is it suppose to be 2400Mhz?