help: Overo Problem with CONFIG_SMP=y and mpurate

I have an Overo Tide that is capable of running at 720Mhz. It defaults to 600Mhz, but the mpurate kernel command line argument allows it to overridden.

The problem is that Linaro kernels (with the Linaro .config) always show 499.92 BogoMIPS in /proc/cpuinfo regardless of what I pass as the mpurate.

I've discovered that by disabling CONFIG_SMP (Linaro defaults this to 'y') the problem goes away.

I'm not sure how to go about fixing this, but its been noticed by the Gumstix mailing list that Linaro builds for Overo seem sluggish.

Does anyone have any ideas what might cause this, or any ideas where I might start looking?

FYI - the LP bug is: 739582

thanks, -andy