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