[Linaro-acpi] [PATCH v6 08/10] acpi: Add memory-mapped timer support in GTDT driver