Re: [Linaro-acpi] [PATCH v21 04/13] clocksource: arm_arch_timer: split arch_timer_rate for different types of timer