# CONFIG_MAX63XX_WATCHDOG is not set