Re: [PATCH 3/3] stm32mp1: split board and SOC support for STM32MP15x family