Re: [Linaro-acpi] [Linaro-uefi] [PATCH] Platforms/ARM: fix gtdt.asl for VExpressPkg