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