Re: [Linaro-uefi] [PATCH 3/5] platforms.config: add fvp_gicv2_legacy