kernel/baseconfig/CONFIG_TS4800_WATCHDOG