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