gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 32860bdbc1f2d4133c1ef38685c6b02368136fbb / drivers / firmware / firmware-sandbox.c