[Linaro-acpi] [PATCH v12 6/8] acpi/arm64: Add memory-mapped timer support in GTDT driver