kernel/include/config/HP_WATCHDOG