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

ARM Ltd. Versatile Express family

modulename: clk-vexpress.ko

configname: CONFIG_ARCH_VEXPRESS

Linux Kernel Configuration
└─>ARM Ltd. Versatile Express family
In linux kernel since version 2.6.35 (release Date: 2010-08-01)  
This option enables support for systems using Cortex processor based
ARM core and logic (FPGA) tiles on the Versatile Express motherboard,
for example:

- CoreTile Express A5x2 (V2P-CA5s)
- CoreTile Express A9x4 (V2P-CA9)
- CoreTile Express A15x2 (V2P-CA15)
- LogicTile Express 13MG (V2F-2XV6) with A5, A7, A9 or A15 SMMs
(Soft Macrocell Models)
- Versatile Express RTSMs (Models)

You must boot using a Flattened Device Tree in order to use these
platforms. The traditional (ATAGs) boot method is not usable on
these boards with this option.

source code: