[Linaro-acpi] [PATCH 0/2] Platforms/ARM: update gtdt.asl for VExpress