Re: [Linaro-acpi] [PATCH v2 0/4] Convert arch timer to ACPI using GTDT