/include/config/TS72XX_WATCHDOG