Re: [Linaro-acpi] [PATCH] RTSM model: Create GTDT table for arch timer