Re: [Linaro-uefi] Assertion in Software FVP Model