diff --git a/arch/arm64/kernel/head.S b/arch/arm64/kernel/head.S
index 2c1f6e0e5c59bbc791eb67e97000c9e26897ae30..34bd0790d1e6819608b3f4bdd6eca4219ed2351f 100644
--- a/arch/arm64/kernel/head.S
+++ b/arch/arm64/kernel/head.S
@@ -867,6 +867,7 @@ __primary_switch:
 
 	tlbi	vmalle1				// Remove any stale TLB entries
 	dsb	nsh
+	isb
 
 	msr	sctlr_el1, x19			// re-enable the MMU
 	isb