[PATCH] stm32mp2: Fix CONFIG_STM32MP25X flag usage