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