[Linaro-acpi] [PATCH v2 3/3] clocksource: add memory-mapped timer support in arm_arch_timer.c