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