# CONFIG_WATCHDOG_PRETIMEOUT_GOV is not set