default or selected kernelversion does not have config value CONFIG_ARM_DB8500_CPUFREQ.
Result is shown for kernelversion 5.4.69

ST-Ericsson DB8500 cpufreq

modulename: dbx500-cpufreq.ko

configname: CONFIG_ARM_DB8500_CPUFREQ

Linux Kernel Configuration
└─>ST-Ericsson DB8500 cpufreq
In linux kernel since version 4.7.2 (release Date: 2016-08-20)  
This adds the CPUFreq driver for ST-Ericsson Ux500 (DB8500) SoC
series.

source code:
drivers/cpufreq/dbx500-cpufreq.c