diff --git a/src/system/kernel/arch/arm64/arch_cpu.cpp b/src/system/kernel/arch/arm64/arch_cpu.cpp
index 21aa4a406a..b0ec694cfa 100644
--- a/src/system/kernel/arch/arm64/arch_cpu.cpp
+++ b/src/system/kernel/arch/arm64/arch_cpu.cpp
@@ -62,6 +62,12 @@ arch_cpu_shutdown(bool reboot)
 void
 arch_cpu_sync_icache(void *address, size_t len)
 {
+	asm(
+		"dsb ishst\n"
+		"ic ialluis\n"
+		"dsb ish\n"
+		"isb"
+	);
 }