# CONFIG_SC520_WDT is not set