# CONFIG_WDT is not set
