[U-Boot] [PATCH 13/15] ARM: DTS: stm32: set HSE clock to 25Mhz for stm32h743i-disco