[Linaro-acpi] [RFC][PATCH 1/1] Watchdog: add SBSA watchdog driver (1)use linux kernel watchdog framework (2)support getting info from ACPI GTDT table