[Linaro-acpi] [PATCH v3 0/6] acpi, clocksource, kvm: add GTDT and ARM memory-mapped timer support