CONFIG_MACH_VR41XX is not available for thedefaultarchitecture 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