CONFIG_CPU_VR41XX is not available for thedefaultarchitecture x86.
Result is shown for architecture mips

R41xx

modulename: c-r4k.ko

and/or

dump_tlb.ko

and/or

r4k_fpu.ko

configname: CONFIG_CPU_VR41XX

CPU type
└─>R41xx
In linux kernel since version 2.6.12  
The options selects support for the NEC VR4100 series of processors.
Only choose this option if you have one of these processors as a
kernel built with this option will not run on any other type of
processor or vice versa.

source code: