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

ST-Ericsson DB8500 cpufreq

modulename: dbx500-cpufreq.ko
configname: CONFIG_ARM_DB8500_CPUFREQ

Linux Kernel Configuration
└─> ST-Ericsson DB8500 cpufreq

This adds the CPUFreq driver for ST-Ericsson Ux500 (DB8500) SoC
series.


source code:


drivers/cpufreq/dbx500-cpufreq.c