# CONFIG_ITCO_WDT is not set
