CONFIG_VEXPRESS_CONFIG (not configurable)

modulename: vexpress-config.ko

and/or

clk-vexpress-osc.ko

configname: CONFIG_VEXPRESS_CONFIG

Linux Kernel Configuration
└─>Device Drivers
└─>VEXPRESS_CONFIG
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Platform configuration infrastructure for the ARM Ltd.
Versatile Express.

source code:
selects

CONFIG_REGMAP

depends
 or CONFIG_OF |
| CONFIG_ARM or CONFIG_ARM64

is selected by
CONFIG_CLK_VEXPRESS_OSC

is depended by
CONFIG_ARCH_VEXPRESS