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