Re: [Linaro-uefi] Building UEFI and Trusted Firmware for FVP models