[Linaro-uefi] Assertion in Software FVP Model