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

Enable support for Tegra124 family

modulename: sleep-tegra30.ko

and/or

pm-tegra30.ko

and/or

cpuidle-tegra114.ko

and/or

speedo-tegra124.ko

and/or

clk-tegra124.ko

configname: CONFIG_ARCH_TEGRA_124_SOC

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


is selected by
CONFIG_ARM_TEGRA_DEVFREQ