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