CONFIG_UX500_SOC_DB8500 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
DB8500
modulename: dbx500-cpufreq.ko
and/ordb8500-cpufreq.ko
and/orcpu-db8500.ko
configname: CONFIG_UX500_SOC_DB8500
Linux Kernel Configuration
└─>Ux500 SoC
└─>DB8500