[Linaro-acpi] [RFC PATCH 2/4] ARMv8 / colcksource: use arch_timer_acpi_init()