# CONFIG_SCx200_WDT is not set
