CONFIG_GENERIC_TBSYNC is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
CONFIG_GENERIC_TBSYNC (not configurable)
modulename: smp-tbsync.ko
configname: CONFIG_GENERIC_TBSYNC
Linux/PowerPC Kernel Configuration
└─>Platform support
└─>GENERIC_TBSYNC