[Linaro-acpi] [PATCH 1/4] ACPI / ARM64: Whitelist the ACPI ID for wdt