# CONFIG_WATCHDOG_AUTOSTART is not set