refactor(gic600ae): update model parameters

Latest GIC600 AE FVP model(11.17/21) no longer support the
base address per redistributor parameter i.e.
gic_iri.reg-base-per-redistributor.
Hence derived the desired base address of GICR by specifying
the appropriate ITScount.

Change-Id: I524e3a0c260293c8223f8fc4332f089bce09ce27
Signed-off-by: Manish V Badarkhe <Manish.Badarkhe@arm.com>
diff --git a/model/base-aemv8a-gic600ae.sh b/model/base-aemv8a-gic600ae.sh
index fb91fdd..7e83038 100644
--- a/model/base-aemv8a-gic600ae.sh
+++ b/model/base-aemv8a-gic600ae.sh
@@ -11,6 +11,13 @@
 
 source "$ci_root/model/base-aemva-common.sh"
 
+# TF-A code maintain GICD and GICR base address at 0x2f000000
+# 0x2f100000 respectively. Model provides provision to only
+# put GICD base address, and there is a calculation to derive
+# GICR base address i.e.
+# GICR base address =  0x2f000000 + (4 + (2 × ITScount)+(RDnum × 2)) << 16
+# Hence to set GICR base address to 0x2f100000, set the
+# ITScount=6 where RDnum=0
 cat <<EOF >>"$model_param_file"
--C gic_iri.reg-base-per-redistributor=0.0.0.0=0x2f100000,0.0.0.1=0x2f120000,0.0.0.2=0x2f140000,0.0.0.3=0x2f160000,0.0.1.0=0x2f180000,0.0.1.1=0x2f1a0000,0.0.1.2=0x2f1c0000,0.0.1.3=0x2f1e0000
+-C gic_iri.ITS-count=6
 EOF