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