CONFIG_UX500_SOC_DB5500 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
DB5500
modulename: cpu-db5500.ko
configname: CONFIG_UX500_SOC_DB5500
Linux Kernel Configuration
└─>Ux500 SoC
└─>DB5500