gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 88f965d720b745431a1fbe9107c561b7f381026c / arch / arm / dts / tps65217.dtsi