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