Re: [PATCH] watchdog: Add a watchdog driver for Raspberry Pi boards