RE: [PATCH 8/9] doc: add board documentation for stm32mp1