Re: [RFC PATCH 4/8] cyclic: Use schedule() instead of WATCHDOG_RESET()