kernelconfig_penguin
CONFIG_ARC_PLAT_TB10X is not available for the default architecture x86.
Result is shown for architecture arc

Abilis TB10x

configname: CONFIG_ARC_PLAT_TB10X

Linux Kernel Configuration
└─> Abilis TB10x

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.