Re-enable IPMI watchdog reboots for Witherspoon

Now that hostboot IPMI is being enabled, we can turn
back on the watchdog reboot.

Change-Id: Ia134e8a1571600869a666c21efb80baafbf0d2a3
Signed-off-by: Matt Spinler <spinler@us.ibm.com>
1 file changed