gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 61d815a2cb55e38399f4bcc16b664d194cd9472a / include / configs / socfpga_sr1500.h