# CONFIG_SC1200_WDT is not set