CONFIG_MACH_TEGRA_DT is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Generic Tegra20 board (FDT support)
modulename: board-dt-tegra20.ko
and/orboard-harmony-pinmux.ko
and/orboard-seaboard-pinmux.ko
and/orboard-paz00-pinmux.ko
and/orboard-trimslice-pinmux.ko
configname: CONFIG_MACH_TEGRA_DT
Linux Kernel Configuration
└─>Generic Tegra20 board (FDT support)
In linux kernel since version 3.1 (release Date: 2011-10-24)
Support for generic NVIDIA Tegra20 boards using Flattened Device Tree