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

CONFIG_HAVE_ARM_TWD (not configurable)

modulename: smp_twd.ko

configname: CONFIG_HAVE_ARM_TWD

Linux Kernel Configuration
└─>Kernel Features
└─>HAVE_ARM_TWD
In linux kernel since version 2.6.31 (release Date: 2009-09-09)  
This options enables support for the ARM timer and watchdog unit

source code:
depends
CONFIG_SMP

is depended by
CONFIG_LOCAL_TIMERS