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.
This is needed to provide CPU and cluster power management
on RTSM implementing big.LITTLE.