diff --git a/sys/dev/ichwd/ichwd.c b/sys/dev/ichwd/ichwd.c
--- a/sys/dev/ichwd/ichwd.c
+++ b/sys/dev/ichwd/ichwd.c
@@ -938,7 +938,7 @@
 	sc = device_get_softc(dev);
 
 	/* halt the watchdog timer */
-	if (sc->active)
+	if (sc->active && !rebooting)
 		ichwd_tmr_disable(sc);
 
 	/* enable the SMI handler */