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