CONFIG_ARCH_VEXPRESS_DCSCB is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

Dual Cluster System Control Block (DCSCB) support

modulename: dcscb.ko

configname: CONFIG_ARCH_VEXPRESS_DCSCB

Linux Kernel Configuration
└─>Versatile Express platform type
└─>Dual Cluster System Control Block (DCSCB) support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support for the Dual Cluster System Configuration Block (DCSCB).
This is needed to provide CPU and cluster power management
on RTSM implementing big.LITTLE.

source code: