gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 933b2f09cbbb7b01af415d204b712b3f93c04dde / arch / arm / dts / rk3399-rock-pi-4c-u-boot.dtsi