Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 1c01e6cdfeee9466652e3b2b78ee532b3b041b26)
+++ kernel/generic/src/mm/frame.c	(revision c24b272fcbf6693fea8f6277ecf6b9aa45a5e089)
@@ -900,4 +900,7 @@
 		 */
 		ASSERT(confframe != ADDR2PFN((uintptr_t ) NULL));
+
+		/* Update the known end of physical memory. */
+		config.physmem_end = max(config.physmem_end, PFN2ADDR(start + count));
 		
 		/* If confframe is supposed to be inside our zone, then make sure