gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 35ab1b6ef7f3a804babbb77d28041967539cd5e6 / drivers / firmware / firmware-sandbox.c