Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 5892ec112c8c6043d7d13d3ec78ccfca8d0f278f)
+++ kernel/generic/src/mm/km.c	(revision c3878381a2c8f39ab246e3b4280aebe23f59e9e1)
@@ -258,4 +258,6 @@
 		frame = (uintptr_t) frame_alloc(ONE_FRAME,
 		    FRAME_LOWMEM | flags);
+		if (!frame)
+			return (uintptr_t) NULL;
 		page = PA2KA(frame);
 	}