gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / b24629fa377214d63bb40d1360e354b6d3e4af56 / include / configs / virtlab2.h