Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 1c01e6cdfeee9466652e3b2b78ee532b3b041b26)
+++ kernel/arch/amd64/src/mm/page.c	(revision b4e59b35396fd1c4445d74278acf9652804a140c)
@@ -64,7 +64,7 @@
 		
 	/*
-	 * PA2KA(identity) mapping for all frames.
+	 * PA2KA(identity) mapping for all low-memory frames.
 	 */
-	for (cur = 0; cur < min(config.identity_size, last_frame);
+	for (cur = 0; cur < min(config.identity_size, config.physmem_end);
 	    cur += FRAME_SIZE)
 		page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, identity_flags);