Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision dc122622bc947e1d697ecaa0da3e88b197e31f5e)
+++ kernel/genarch/src/mm/page_pt.c	(revision db8626d33fa833ea7e61d8d157724b3b47ba0cfa)
@@ -415,5 +415,5 @@
 	    addr - 1 < base + size - 1;
 	    addr += ptl0_step) {
-		if (GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(addr))) {
+		if (GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(addr)) != 0) {
 			ASSERT(overlaps(addr, ptl0_step,
 			    config.identity_base, config.identity_size));