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