Wenn /sys/devices/.../cpuinfo_max_freq
existiert nicht, das bedeutet, dass der cpufreq-Treiber nicht geladen ist - daher sollte die CPU mit voller Geschwindigkeit laufen. Also ja, /proc/cpuinfo sollte in dieser Situation korrekt sein.
zusätzlich zu Marcins Kommentar:Die zweite Zahl in cpufreq-info -c 0 -l dividiert durch 1000 gibt Ihnen die maximalen MHz