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