default or selected kernelversion does not have config value CONFIG_SENSORS_AB8500.
Result is shown for kernelversion 6.9.9

AB8500 thermal monitoring

modulename: abx500.ko

configname: CONFIG_SENSORS_AB8500

Linux Kernel Configuration
└─>Device Drivers
└─>Hardware Monitoring support
└─>AB8500 thermal monitoring
In linux kernel since version 3.1 (release Date: 2011-10-24)  
If you say yes here you get support for the thermal sensor part
of the AB8500 chip. The driver includes thermal management for
AB8500 die and two GPADC channels. The GPADC channel are preferably
used to access sensors outside the AB8500 chip.

This driver can also be built as a module. If so, the module
will be called abx500-temp.

source code: