CONFIG_MIPS_TX3927 is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
CONFIG_MIPS_TX3927 (not configurable)
modulename: ops-tx3927.ko
and/orops-jmr3927.ko
configname: CONFIG_MIPS_TX3927
Linux/MIPS Kernel Configuration
└─>Machine selection
└─>MIPS_TX3927