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: