CONFIG_ARCH_IXDP425 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_ARCH_IXDP425.
Result is shown for kernelversion 6.9.9

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>.