Re: [RFC PATCH] watchdog: base rate-limiting on get_ticks() rather than get_timer()