CONFIG_MACH_TXX9 is not available for the selected architecture x86.
Result is shown for architecture mips
CONFIG_MACH_TXX9 (not configurable)
configname: CONFIG_MACH_TXX9
Linux Kernel Configuration
└─>MACH_TXX9