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