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