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