kernelconfig_penguin
CONFIG_ARCH_IXDP425 is not available for the default architecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_ARCH_IXDP425.
Result is shown for kernelversion 5.9.9

IXDP425

configname: CONFIG_ARCH_IXDP425

Linux Kernel Configuration
└─> Intel IXP4xx Implementation Options
└─> IXDP425

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 Documentation/arm/IXP4xx.