CONFIG_ARCH_IXDP425 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
IXDP425
configname: CONFIG_ARCH_IXDP425
Linux Kernel Configuration
└─>Intel IXP4xx Implementation Options
└─>IXDP425
In linux kernel since version 2.6.12
Say 'Y' here if you want your kernel to support Intel's
IXDP425 Development Platform (Also known as Richfield).
For more information on this platform, see <file:Documentation/arm/ixp4xx.rst>.
IXDP425 Development Platform (Also known as Richfield).
For more information on this platform, see <file:Documentation/arm/ixp4xx.rst>.