Pourquoi /proc/cpuinfo affiche-t-il des vitesses de processeur contradictoires ?

Sur un système exécutant Gentoo Linux (3.1.6, x86_64), j'ai deux processeurs Intel Xeon à six cœurs (X5675).

cat /proc/cpuinfo me montre correctement 12 processeurs. Cependant, je ne comprends pas pourquoi la vitesse du processeur dans la ligne nom du modèle diffère du nombre de cpu MHz:

processor   : 11
vendor_id   : GenuineIntel
cpu family  : 6
model       : 44
model name  : Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz
stepping    : 2
cpu MHz     : 1600.000
cache size  : 12288 KB
physical id : 1
siblings    : 6
core id     : 10
cpu cores   : 6
apicid      : 52
initial apicid  : 52
fpu     : yes
fpu_exception   : yes
cpuid level : 11
wp      : yes
flags       : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida arat epb dts tpr_shadow vnmi flexpriority ept vpid
bogomips    : 6133.17
clflush size    : 64
cache_alignment : 64
address sizes   : 40 bits physical, 48 bits virtual
power management:

ÉDITION : htop montre que tous les processeurs sont à 100%, et la charge moyenne est de 24.66 24.33 24.67. Il semble donc que aucun des processeurs ne reste inactif. Cependant, un watch -n5 "cat /proc/cpuinfo | grep MHz" montre que les six premiers cœurs sont constamment à 3067MHz, tandis que les cœurs 7-12 sont toujours à 1600MHz. Je suis perplexe. Je ne suis pas l'administrateur de ces machines, mais avant de déranger nos administrateurs système à ce sujet, je voulais être sûr que ce n'est pas le comportement attendu. Y a-t-il un moyen de savoir si SpeedStep est activé sans accéder au BIOS, c'est-à-dire sans privilèges administratifs?

ÉDITION2 : comme demandé, j'ai posté une sortie complète de /proc/cpuinfo ici: https://gist.github.com/4683911