default or selected kernelversion does not have config value CONFIG_CLPS711X_TIMER.
Result is shown for kernelversion 6.9-rc4
Cirrus Logic timer driver
modulename: clps711x-timer.ko
configname: CONFIG_CLPS711X_TIMER
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Cirrus Logic timer driver
In linux kernel since version 3.10 (release Date: 2013-06-30)
Enables support for the Cirrus Logic PS711 timer.