[Linaro-acpi] [PATCH v24 05/11] clocksource: arm_arch_timer: split MMIO timer probing.