Re: [Linaro-uefi] [PATCH] Platforms/FVP: Fix MADT to run the Foundation model in GICv3 mode with 4 CPUs