arm64: Implement arch_cpu_sync_icache

Change-Id: I9df1e272971e1a3fd34297f24c6dd7b3d247c190
Reviewed-on: https://review.haiku-os.org/c/haiku/+/7522
Reviewed-by: David Karoly <karolyd577@gmail.com>
Reviewed-by: Fredrik Holmqvist <fredrik.holmqvist@gmail.com>
Tested-by: Commit checker robot <no-reply+buildbot@haiku-os.org>

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"
+	);
 }