tree 2751b4f05300cea91df829aabaeba17294997d05
parent 2d3ce1bfb93a6560b88cf9949721a6299f8d042a
author Matt Spinler <spinler@us.ibm.com> 1487004732 -0600
committer Patrick Williams <patrick@stwcx.xyz> 1487965998 +0000

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>