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