Re: [Linaro-acpi] [PATCH v2 0/3] ACPI, clocksource: add GTDT and ARM memory-mapped timer support