feat(lib/xlat): add support to verify granularity support

This patch adds support to the xlat library to verify that the
(only) granularity supported by the xlat library (4K) is also
supported by the platform.

Signed-off-by: Javier Almansa Sobrino <javier.almansasobrino@arm.com>
Change-Id: I8d17b940f09685f20377da405bca1e7a7293bd52
diff --git a/plat/host/common/src/host_utils.c b/plat/host/common/src/host_utils.c
index 13642b1..821b312 100644
--- a/plat/host/common/src/host_utils.c
+++ b/plat/host/common/src/host_utils.c
@@ -160,9 +160,12 @@
 	/*
 	 * Initialize ID_AA64MMFR0_EL1 with a physical address
 	 * range of 48 bits (PARange bits set to 0b0101)
+	 * and 4K granularity support.
 	 */
 	ret = host_util_set_default_sysreg_cb("id_aa64mmfr0_el1",
-			INPLACE(ID_AA64MMFR0_EL1_PARANGE, 5UL));
+				INPLACE(ID_AA64MMFR0_EL1_PARANGE, 5UL) |
+				INPLACE(ID_AA64MMFR0_EL1_TGRAN4,
+					ID_AA64MMFR0_EL1_TGRAN4_SUPPORTED));
 
 	/*
 	 * Initialize ICH_VTR_EL2 with 6 preemption bits.