Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision 88a0f58ef0fc9c067c9ff215fb6d25e1b4eefe46)
+++ kernel/genarch/src/mm/page_pt.c	(revision 00ddb40e40d76e7f5d1a1b654498668aa2cc0e10)
@@ -384,4 +384,15 @@
 	    addr - 1 < base + size - 1;
 	    addr += ptl0_step) {
+		if (GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(addr))) {
+			ASSERT(overlaps(addr, ptl0_step,
+			    config.identity_base, config.identity_size));
+
+			/*
+			 * This PTL0 entry also maps the kernel identity region,
+			 * so it is already global and initialized.
+			 */
+			continue;
+		}
+
 		uintptr_t l1 = PA2KA(frame_alloc(frames, FRAME_LOWMEM, 0));
 		memsetb((void *) l1, FRAMES2SIZE(frames), 0);