arch/arm/mach-vexpress/Kconfig v3.0-rc7

Menu: Versatile Express platform type