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