Tegra124 CPUFreq support

modulename: tegra124-cpufreq.ko

configname: CONFIG_ARM_TEGRA124_CPUFREQ

Linux Kernel Configuration
└─>Power management and ACPI options
└─>CPU Frequency scaling
└─>Tegra124 CPUFreq support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This adds the CPUFreq driver support for Tegra124 SOCs.

source code: