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