CONFIG_ARCH_VEXPRESS is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
ARM Ltd. Versatile Express family
configname: CONFIG_ARCH_VEXPRESS
ARM system type
└─>ARM Ltd. Versatile Express family
In linux kernel since version 2.6.35 (release Date: 2010-08-01)
This enables support for the ARM Ltd Versatile Express boards.
selects
CONFIG_ARCH_WANT_OPTIONAL_GPIOLIBCONFIG_ARM_AMBA
CONFIG_ARM_TIMER_SP804
CONFIG_CLKDEV_LOOKUP
CONFIG_HAVE_MACH_CLKDEV
CONFIG_GENERIC_CLOCKEVENTS
CONFIG_HAVE_CLK
CONFIG_HAVE_PATA_PLATFORM
CONFIG_ICST
CONFIG_NO_IOPORT
CONFIG_PLAT_VERSATILE
CONFIG_PLAT_VERSATILE_CLCD
CONFIG_ARM_GIC
CONFIG_COMMON_CLK
CONFIG_CPU_V7
CONFIG_HAVE_SMP
CONFIG_MIGHT_HAVE_CACHE_L2X0
CONFIG_REGULATOR_FIXED_VOLTAGE