CONFIG_ARC_PLAT_TB10X is not available for thedefaultarchitecture x86.
Result is shown for architecture arc

Abilis TB10x

configname: CONFIG_ARC_PLAT_TB10X

Linux Kernel Configuration
└─>Abilis TB10x
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Support for platforms based on the TB10x home media gateway SOC by
Abilis Systems. TB10x is based on the ARC700 CPU architecture.
Say Y if you are building a kernel for one of the SOCs in this
series (e.g. TB100 or TB101). If in doubt say N.