Re: [PATCH] configs: stm32mp15: deactivate the CONFIG_STM32_IPCC