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