CONFIG_SOC_ZYNQ7000=y
