Enable support for Tegra124 family

modulename: sleep-tegra30.ko

and/or

pm-tegra30.ko

and/or

cpuidle-tegra114.ko

and/or

clk-tegra124.ko

and/or

speedo-tegra124.ko

configname: CONFIG_ARCH_TEGRA_124_SOC

Linux Kernel Configuration
└─>Device Drivers
└─>SOC (System On Chip) specific Drivers
└─>Enable support for Tegra124 family
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support for NVIDIA Tegra T124 processor family, based on the
ARM CortexA15MP CPU

source code: