u-boot/arch/arm/cpu/armv7/zynq/config.mk