Have you upgraded to the latest system ROM? There's a CD on HP's download site but itheir web isn't working at the moment.
Have you tried both CPUs in the first socket to see if both are reported as 3.1GHz? It certainly isn't normal although the best BIOS setting for dynamic power is OS control.