# CONFIG_WATCHDOG_PRETIMEOUT_DEFAULT_GOV_NOOP is not set
