configs/vexpress_fvp_defconfig - u-boot - Git at Google

 CONFIG_ARM=y
 CONFIG_ARCH_VEXPRESS64=y
 CONFIG_DEFAULT_DEVICE_TREE="arm_fvp"
 CONFIG_IDENT_STRING=" arm_fvp"
 # CONFIG_DISPLAY_CPUINFO is not set
	CONFIG_ARM=y
	CONFIG_ARCH_VEXPRESS64=y
	CONFIG_DEFAULT_DEVICE_TREE="arm_fvp"
	CONFIG_IDENT_STRING=" arm_fvp"
	# CONFIG_DISPLAY_CPUINFO is not set