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