Enable support for Tegra30 family

modulename: sleep-tegra30.ko

and/or

pm-tegra30.ko

and/or

cpuidle-tegra30.ko

and/or

clk-tegra30.ko

and/or

speedo-tegra30.ko

configname: CONFIG_ARCH_TEGRA_3x_SOC

Linux Kernel Configuration
└─>Device Drivers
└─>SOC (System On Chip) specific Drivers
└─>Enable support for Tegra30 family
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Support for NVIDIA Tegra T30 processor family, based on the
ARM CortexA9MP CPU and the ARM PL310 L2 cache controller

source code: