# CONFIG_SOFT_WATCHDOG_PRETIMEOUT is not set
