CONFIG_CPU_NEVADA is not available for the selected architecture x86.
Result is shown for architecture mips

RM52xx

modulename: c-r4k.ko

and/or

dump_tlb.ko

and/or

r4k_fpu.ko

configname: CONFIG_CPU_NEVADA

CPU type
└─>RM52xx
In linux kernel since version 2.6.12 )
QED / PMC-Sierra RM52xx-series ("Nevada") processors.
source code:
arch/mips/mm/