>[оверквотинг удален]
>      : 5388.20
>   Bogomips          
>      : 5388.27
>   Bogomips          
>      : 5388.23
>   Function Show_CPU_Info : could not read directory /proc/acpi/processor/
>   Make sure your kernel has ACPI processor support enabled.
> Видно, что вроде как max 3700 MHz, но выше не поднимается... Откуда
> берется эта цифра 3200?
> Может кто подскажет, в чем дело?

Turbo Boost позволяет процессору увеличивать частоту до 3,70 ГГц при нагрузке на одно ядро.
Т.к. есть механизмы, специально "размазывающие" нагрузку по нескольким ядрам для оптимизации вы видете частоту для "многоядерности" максимальную, хотите увидеть 3.7 - скорее всего потребуется пересобрать ядро с отключением этих оптимизаторов.