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