Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 454f1da77de2349b52f4bfe6ec9378202f3cdbda)
+++ kernel/generic/src/mm/backend_elf.c	(revision 1d79c047f8e80a72ee5c2a3bf55d27ae821db219)
@@ -209,19 +209,4 @@
 	if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1))
 		panic("Could not insert used space.\n");
-
-#ifdef CONFIG_VIRT_IDX_DCACHE
-	if (dirty && PAGE_COLOR(PA2KA(frame)) != PAGE_COLOR(addr)) {
-		/*
-		 * By writing to the frame using kernel virtual address,
-		 * we have created an illegal virtual alias. We now have to
-		 * invalidate cachelines belonging to addr on all processors
-		 * so that they will be reloaded with the new content on next
-		 * read.
-		 */
-		dcache_flush_frame(addr, frame);
-		dcache_shootdown_start(DCACHE_INVL_FRAME, PAGE_COLOR(addr), frame);
-		dcache_shootdown_finalize();
-	}
-#endif
 
 	return AS_PF_OK;
@@ -356,3 +341,2 @@
 /** @}
  */
-