grant> CPU speed is incorrectly reported as 666.67MHz, for reasons unknown
grant> to me :)

grant> cpu0: HID0 8450c0bc<EMCP,TBEN,NAP,DPM,ICE,DCE,SGE,BTIC,LRSTK,FOLD,BHT>
grant> cpu0: 666.67 MHz
grant> cpu0: 256KB L2 cache, 1MB L3 backside cache

Som source said, it actually runs 666.67MHz to default power saving
mode. You need to switch the speed to get Maximum CPU speed, although
I don't know how to do that.
---
Makoto Fujiwara,