[U-Boot] [PATCH 00/19] stm32mp1: update of stm32mp arch and stm32mp1 board