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