Si /sys/devices/.../cpuinfo_max_freq no existe, eso significa que el controlador cpufreq no está cargado, por lo que la CPU debería estar funcionando a toda velocidad. Así que sí, /proc/cpuinfo debería ser correcto en esa situación.
además del comentario de Marcin:el segundo número en cpufreq-info -c 0 -l dividido por 1000 te da el MHz máximo
Cómo generar una contraseña aleatoria en Linux usando /dev/random
Linux:¿Diferencia entre /dev/console, /dev/tty y /dev/tty0?
Linux:¿cómo probar si un dispositivo de bloque es de solo lectura desde/sys o/proc?
¿Cómo obtengo la ruta de un proceso en Unix/Linux?
¿Cómo saber desde qué carpeta se está ejecutando un proceso?
unix:///var/run/supervisor.sock no hay tal archivo
¿Cómo configurar el swapiness por proceso para Linux?
Linux:diferencia entre /dev/console, /dev/tty y /dev/tty0
/sys/ documentación?
¿Deberían vivir los sitios web en /var/ o /usr/ según el uso recomendado?
En mi archivo /etc/hosts/ en Linux/OSX, ¿cómo hago un subdominio comodín?