Hi, I have an intel dx58so with an i7 930, the cpu settings are left as default in bios, but when I open the desktop controller instead of giving me the proper reading of 2.8ghz, instead the reading is 3.07ghz. Is this the result of Intel turbo boost?