One thing I forgot,

On Nov 3, 2007 2:19 PM, Marco Trillo <marcotrillo@gmail.com> wrote:
> cpu0: Intel Pentium M (Yonah) (686-class), 2063.77 MHz, id 0x6e
>  [...]
> cpu1: Intel Pentium M (Yonah) (686-class), 7122.27 MHz, id 0x6e8
> cpu1: "Genuine Intel(R) CPU           T2500  @ 2.00GHz"

The cpu1 speed also appears to be misdetected, since it  shows a
7122.27 MHz value when it should be 2 GHz. Curiously, this also has a
factor of 3.5 like the timing problems...

Thanks,
Marco.