It is not overclocked.
I have to assume that HP knows what MB to use for their Intel Q8200 computers. After all, they are one of the largest computer hardware manufacturers, right?
But where would you want me to check?
I will do it.
1) Check the Worldwide Database you refer to see what the other systems are running (complete system... overclocking, motherboard, hard drive... etc.)
2) Download CPUID's CPU-Z
and verify the your CPU is running at stated manufacturer speeds (generally, what it should look like)...