Re: [PATCH 3/4] doc: clarify scmi device tree for stm32mp15 boards