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

Marvell's PXA910 TavorEVB/TTC_DKB Development Board

modulename: ttc_dkb.ko

configname: CONFIG_MACH_TTC_DKB

Linux Kernel Configuration
└─>Marvell PXA168/910/MMP2/MMP3
└─>Marvell PXA168/910/MMP2 Implementations
└─>Marvell's PXA910 TavorEVB/TTC_DKB Development Board
In linux kernel since version 2.6.30 (release Date: 2009-06-09)  
Say 'Y' here if you want to support the Marvell PXA910-based
TTC_DKB Development Board.

source code: