Si /sys/devices/.../cpuinfo_max_freq
n'existe pas, cela signifie que le pilote cpufreq n'est pas chargé - le processeur devrait donc fonctionner à pleine vitesse. Alors oui, /proc/cpuinfo devrait être correct dans cette situation.
en plus du commentaire de Marcin :le deuxième nombre dans cpufreq-info -c 0 -l divisé par 1000 vous donne le max MHz