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