Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision 1c01e6cdfeee9466652e3b2b78ee532b3b041b26)
+++ kernel/arch/ia32/src/mm/page.c	(revision 77c2b027811f1f4abd6702b92df846515c88cad4)
@@ -66,12 +66,12 @@
 	
 	/*
-	 * PA2KA(identity) mapping for all frames until last_frame.
+	 * PA2KA(identity) mapping for all low-memory frames.
 	 */
 	page_table_lock(AS_KERNEL, true);
-	for (cur = 0; cur < min(config.identity_size, last_frame);
+	for (cur = 0; cur < min(config.identity_size, config.physmem_end);
 	    cur += FRAME_SIZE) {
 		flags = PAGE_CACHEABLE | PAGE_WRITE;
-		if ((PA2KA(cur) >= config.base) && (PA2KA(cur) <
-		    config.base + config.kernel_size))
+		if ((PA2KA(cur) >= config.base) &&
+		    (PA2KA(cur) < config.base + config.kernel_size))
 			flags |= PAGE_GLOBAL;
 		page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);