Re: [PATCH] board: stmp32mp1: split board and SOC STM32MP15 configuration