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