CONFIG_CPU_MIPS32 is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
CONFIG_CPU_MIPS32 (not configurable)
modulename: c-r4k.ko
and/ordump_tlb.ko
and/orr4k_fpu.ko
configname: CONFIG_CPU_MIPS32
Linux Kernel Configuration
└─>CPU_MIPS32