[PATCH v3 2/2] allow opting out of WATCHDOG_RESET() from timer interrupt