CONFIG_4xx is not available for the selected architecture x86.
Result is shown for architecture powerpc
CONFIG_4xx (not configurable)
configname: CONFIG_4xx
Linux Kernel Configuration
└─>Processor support
└─>4xx