Currently, the examples are using 2MB for the ITS size. Per the
specification (section 8.18 in ARM IHI 0069D), the ITS address map is
128KB.

Update the examples to match the specification.
Signed-off-by: NJulien Grall <julien.grall@linaro.org>
Signed-off-by: NMarc Zyngier <marc.zyngier@arm.com>