[Linaro-acpi] [PATCH v2 1/7] clocksource: export "arch_timer_get_rate" for the other drivers