Re: [Linaro-acpi] [PATCH v20 00/17] acpi, clocksource: add GTDT driver and GTDT support in arm_arch_timer