# CONFIG_HP_WATCHDOG is not set
