Re: [PATCH v2] powerpc: allow opting out of WATCHDOG_RESET() from timer interrupt