CONFIG_IPMI_WATCHDOG=m
