ci(ivy): load Ivy partition in spm reset to bl31

A fourth test partition has been introduced ("Ivy" S-EL0 partition
using an S-EL1 shim). For the case where BL2 is absent and BL31 is
built with RESET_TO_BL31 option, this new partition has to be
pre-loaded in the model command line.

Signed-off-by: Olivier Deprez <olivier.deprez@arm.com>
Change-Id: I0a5e05651738de6a28b95a0e23a15a744ba750f6
3 files changed