Re: [Linaro-acpi] [RFC PATCH 1/4] clocksource: arch_timer: Use ACPI GTDT table to initialize arch timer