boot/vexpress-firmware/Config.in

config BR2_TARGET_VEXPRESS_FIRMWARE
	bool "vexpress-firmware"
	depends on BR2_aarch64
	help
	  Versatile Express firmware from ARM, with Linaro mods last
	  change.

	  https://git.linaro.org/arm/vexpress-firmware.git