gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 67adbaef5a842ebc8f58f9c30baa97e8d99fa4a6 / drivers / firmware / firmware-sandbox.c