feat(memory): check memory region addresses are valid

The memory allocated to the partition's manifest must be validated
against the memory ranges specified in the SPMC's manifest.
The SPMC memory ranges refer to the memory that can be mapped by
partitions. Any allocation outside of those ranges must not be
permitted.

Signed-off-by: J-Alves <joao.alves@arm.com>
Change-Id: I5ec915e6dedb004f5beff12ac399f0d388c62716
diff --git a/src/init.c b/src/init.c
index c0bb1e2..423b9fa 100644
--- a/src/init.c
+++ b/src/init.c
@@ -22,6 +22,7 @@
 #include "hf/dlog.h"
 #include "hf/fdt_handler.h"
 #include "hf/load.h"
+#include "hf/manifest.h"
 #include "hf/mm.h"
 #include "hf/mpool.h"
 #include "hf/panic.h"
@@ -137,7 +138,7 @@
 	}
 
 	manifest_ret = manifest_init(mm_stage1_locked, &manifest, &manifest_it,
-				     &ppool);
+				     &params, &ppool);
 
 	if (manifest_ret != MANIFEST_SUCCESS) {
 		panic("Could not parse manifest: %s.",