fix(runtime): add isb after writes to cptr_el2 register

Signed-off-by: Arunachalam Ganapathy <arunachalam.ganapathy@arm.com>
Change-Id: I45d247bfce3c4a2034af92fa24cede30d36ab263
diff --git a/runtime/core/exit.c b/runtime/core/exit.c
index 4012f6b..b5b4998 100644
--- a/runtime/core/exit.c
+++ b/runtime/core/exit.c
@@ -588,6 +588,7 @@
 		cptr |= INPLACE(CPTR_EL2_FPEN, CPTR_EL2_FPEN_NO_TRAP_11) |
 			INPLACE(CPTR_EL2_ZEN, CPTR_EL2_ZEN_NO_TRAP_11);
 		write_cptr_el2(cptr);
+		isb();
 
 		/*
 		 * Save NS state, restore realm state, and set flag indicating
@@ -611,6 +612,7 @@
 		cptr &= ~MASK(CPTR_EL2_ZEN);
 		cptr |= INPLACE(CPTR_EL2_ZEN, CPTR_EL2_ZEN_TRAP_ALL_00);
 		write_cptr_el2(cptr);
+		isb();
 
 		/*
 		 * Return 'true' indicating that this exception