[PATCH] In hangcheck-timer.c call emergency_restart()