After a short chat with Sanjay it appears that cpufreq driver might be disabled in the kernel config.
After a short chat with Sanjay it appears that cpufreq driver might be disabled in the kernel config.