Re: [Linaro-acpi] [PATCH v3] ArmPlatformPkg: fix gtdt.asl for ArmVExpressPkg