Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision fb63c069d9ad8110f5f6269c95ec7bfe9dd16038)
+++ kernel/genarch/src/mm/page_pt.c	(revision 9abe2e5367e0d71b259840713b8cf79d80d97fc6)
@@ -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));