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

Enable support for Tegra114 family

modulename: board-dt-tegra114.ko

and/or

cpuidle-tegra114.ko

configname: CONFIG_ARCH_TEGRA_114_SOC

Linux Kernel Configuration
└─>Enable support for Tegra114 family
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Support for NVIDIA Tegra T114 processor family, based on the
ARM CortexA15MP CPU

source code: