gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 86a720aafce5b2571af66b8d7e04b144c05b1b8b / include / configs / zynq_picozed.h