Index: arch/amd64/src/mm/page.c
===================================================================
--- arch/amd64/src/mm/page.c	(revision db3341ea232ed26a8984fcd429c5009252e4a972)
+++ arch/amd64/src/mm/page.c	(revision de25b6f1041f235871f2c6ea0830caa7be2d4449)
@@ -55,5 +55,4 @@
 		 */
 		for (i = 0; i < frames; i++) {
-			map_page_to_frame(i * PAGE_SIZE, i * PAGE_SIZE, PAGE_CACHEABLE | PAGE_EXEC, KA2PA(dba));
 			map_page_to_frame(PA2KA(i * PAGE_SIZE), i * PAGE_SIZE, PAGE_CACHEABLE | PAGE_EXEC, KA2PA(dba));
 		}