CONFIG_MACH_VR41XX is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
Support for NEC VR4100 series based machines
configname: CONFIG_MACH_VR41XX
System type
└─>Support for NEC VR4100 series based machines