CONFIG_MACH_IXDP2351 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_MACH_IXDP2351.
Result is shown for kernelversion 6.2.5
Support Intel IXDP2351 platform
modulename: ixdp2351.ko
configname: CONFIG_MACH_IXDP2351
Linux Kernel Configuration
└─>Intel IXP23xx Implementation Options
└─>Support Intel IXDP2351 platform