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