CONFIG_ARCH_TEGRA_3x_SOC is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

Enable support for Tegra30 family

modulename: tegra30_speedo.ko

and/or

sleep-tegra30.ko

and/or

pm-tegra30.ko

and/or

cpuidle-tegra30.ko

and/or

clk-tegra30.ko

configname: CONFIG_ARCH_TEGRA_3x_SOC

Linux Kernel Configuration
└─>NVIDIA Tegra
└─>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:
arch/arm/mach-tegra/tegra30_speedo.c