Re: [Linaro-acpi] [PATCH v7 8/8] clocksource: simplify ACPI code in arm_arch_timer.c