gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 65eed687729c28431d38c6c9174da4d878fb107f / doc / device-tree-bindings / firmware / ti,sci.txt