# CONFIG_TS4800_WATCHDOG is not set