gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 7e8471cae5c6614c54b9cfae2746d7299bd47a0c / include / configs / dh_stm32mp1.h