# CONFIG_STM32MP_WATCHDOG is not set