Oh, okay. I guess /proc/cpuinfo is slightly out of calibration, then.

Cheers