# CONFIG_60XX_WDT is not set