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

Support for NEC VR41XX-based machines

configname: CONFIG_MACH_VR41XX

Linux/MIPS Kernel Configuration
└─>Machine selection
└─>Support for NEC VR41XX-based machines
In linux kernel since version 2.6.12 )