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

LED Support for GPIO connected LEDs on IXP4XX processors

modulename: leds-ixp4xx-gpio.ko

configname: CONFIG_LEDS_IXP4XX

Linux Kernel Configuration
└─>Device Drivers
└─>LED devices
└─>LED Support for GPIO connected LEDs on IXP4XX processors
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
This option enables support for the LEDs connected to GPIO
outputs of the Intel IXP4XX processors. To be useful the
particular board must have LEDs and they must be connected
to the GPIO lines. If unsure, say Y.

source code: