adding machdep frequency support?

["Jeremy C. Reed" <reed%reedmedia.net@localhost>]

Any docs or pointers on how to see if hardware could support the scalable 
frequency support (like machdep.est.frequency or 
machdep.powernow.frequency)?

SMBIOS rev. 2.4 @ 0xe8130 (35 entries)
TOSHIBA Satellite Pro L350 (PSLD9U-008007)
mainbus0 (root)
cpu0 at mainbus0 apid 0: Intel 686-class, 2261MHz, id 0x10676
cpu1 at mainbus0 apid 1: Intel 686-class, 2261MHz, id 0x10676

Marketing webpage says it is Intel Core2 Duo Processor P8400

Full dmesg at:
http://www.reedmedia.net/~reed/tmp-c5b3pt9y4h/dmesg.boot
(but I am running RC3 now)