Index: generic/src/mm/backend_elf.c
===================================================================
--- generic/src/mm/backend_elf.c	(revision 8b08cf3f329c0a119b82fe78c2c10324193ae5a9)
+++ generic/src/mm/backend_elf.c	(revision 9f16cb01e0860726fd80b8188dbedaa930c7174a)
@@ -110,5 +110,4 @@
 			frame_reference_add(ADDR2PFN(frame));
 			page_mapping_insert(AS, addr, frame, as_area_get_flags(area));
-			frame_reference_add(ADDR2PFN(PTE_GET_FRAME(pte)));
 			if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1))
 				panic("Could not insert used space.\n");