CONFIG_UX500_SOC_DB5500 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CONFIG_UX500_SOC_DB5500 (not configurable)
modulename: cpu-db5500.ko
configname: CONFIG_UX500_SOC_DB5500
Linux Kernel Configuration
└─>UX500_SOC_DB5500