Se /sys/devices/.../cpuinfo_max_freq
non esiste, ciò significa che il driver cpufreq non è caricato, quindi la CPU dovrebbe funzionare a piena velocità. Quindi sì, /proc/cpuinfo dovrebbe essere corretto in quella situazione.
oltre al commento di Marcin:il secondo numero in cpufreq-info -c 0 -l diviso per 1000 ti dà il MHz massimo