# CONFIG_WATCHDOG_NOWAYOUT is not set