u-boot/arch/arm/dts/stm32mp25xc.dtsi