CONFIG_MACH_DAVINCI_DM6467TEVM is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CONFIG_MACH_DAVINCI_DM6467TEVM (not configurable)
configname: CONFIG_MACH_DAVINCI_DM6467TEVM
Linux Kernel Configuration
└─>TI DaVinci
└─>MACH_DAVINCI_DM6467TEVM