default or selected kernelversion does not have config value CONFIG_I2C_IXP4XX.
Result is shown for kernelversion 5.15.113

IXP4xx GPIO-Based I2C Interface

modulename: i2c-ixp4xx.ko

configname: CONFIG_I2C_IXP4XX

Linux Kernel Configuration
└─>Device Drivers
└─>I2C support
└─>I2C Hardware Bus support
└─>IXP4xx GPIO-Based I2C Interface
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
Say Y here if you have an Intel IXP4xx(420,421,422,425) based
system and are using GPIO lines for an I2C bus.

This support is also available as a module. If so, the module
will be called i2c-ixp4xx.

source code: