wrong estd value

["Joel CARNAT" <joel%carnat.net@localhost>]

Hello,

My Dell XPS M1330 has a "Intel(R) Core(TM)2 Duo CPU     T7300  @ 2.00GHz"
CPU.
But sysctl reports 2200 MHz option for machdep.est.frequency:
machdep.est.frequency.target = 1200
machdep.est.frequency.current = 1200
machdep.est.frequency.available = 2200 2000 1800 1600 1400 1200

I'm using estd with the '-M 2000' option so I don't use the wrong value. I
just wanted to know if this would be a NetBSD code discover issue, CPU
related or BIOS issue ?

TIA,
   Jo