#define CONFIG_IPMI_WATCHDOG_MODULE 1