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