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

NVIDIA Tegra

modulename: gpio-tegra.ko

and/or

tegra-cpufreq.ko

and/or

tegra20_timer.ko

configname: CONFIG_ARCH_TEGRA

Linux Kernel Configuration
└─>NVIDIA Tegra
In linux kernel since version 2.6.36 (release Date: 2010-10-20)  
This enables support for NVIDIA Tegra based systems.

source code: