CONFIG_4xx_SOC is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
CONFIG_4xx_SOC (not configurable)
modulename: ppc4xx_soc.ko
configname: CONFIG_4xx_SOC
Linux Kernel Configuration
└─>Bus options
└─>4xx_SOC