[Linaro-acpi] [PATCH v24 04/11] clocksource: arm_arch_timer: add structs to describe MMIO timer