Re: [Linaro-acpi] [PATCH] [v3] watchdog: introduce the ARM64 SBSA watchdog driver