basically i have been running firstrike benchmarks and it seems my cpu is not turboing to 4.0 like it should.... my stock clock is 3.6 and my turbo is supposed to be 4.0, i even tried oc genie to put my stock to 3.8 and my turbo stayed at 4, but still my cpu will not go any higher than 3.8. when i get my results it says reported stock 3.6 and max 3.8 even though im using oc genie... can i overclock my non k version in any way? i have a watercooler btw.