gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 9119f547d3e9b9f488055b90572a8ff83125b3e2 / drivers / firmware / firmware-sandbox.c