Re: [Linaro-acpi] [RFC PATCH 3/3] ACPI: clocksource: arch_timer: Use GTDT table to gather data