CONFIG_MACH_TX28 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Ka-Ro TX28 module
modulename: mach-tx28.ko
configname: CONFIG_MACH_TX28
Linux Kernel Configuration
└─>Ka-Ro TX28 module