use a softer reboot, so the cause shows up in syslog