Re: [Linaro-acpi] [Linaro-uefi] [PATCH v2 1/2] Platforms/ARM: Fix "Platform Timer Offset" value bug in gtdt.asl