[Linaro-acpi] [PATCH v24 07/11] clocksource: arm_arch_timer: simplify ACPI support code.