CONFIG_UX500_SOC_DB8500 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CONFIG_UX500_SOC_DB8500 (not configurable)
modulename: db8500-cpufreq.ko
and/orcpu-db8500.ko
configname: CONFIG_UX500_SOC_DB8500
Linux Kernel Configuration
└─>UX500_SOC_DB8500