Re: [Linaro-acpi] [PATCH 17/20] clocksource / arch_timer: Use ACPI GTDT table to initialize arch timer