[Linaro-acpi] [PATCH v4 3/5] clocksource: simplify ACPI code in arm_arch_timer.c