[PATCH 00/10] stm32mp1: board and SOC identifications