kernel/watchdog.c: add comment to watchdog() exit path