Re: [Linaro-acpi] [PATCH v23 09/11] acpi/arm64: Add memory-mapped timer support in GTDT driver