Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
+++ kernel/generic/src/mm/frame.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -1078,4 +1078,7 @@
 			frame_mark_unavailable(ADDR2PFN(KA2PA(init.tasks[i].addr)), SIZE2FRAMES(init.tasks[i].size));
 
+		if (ballocs.size)
+			frame_mark_unavailable(ADDR2PFN(KA2PA(ballocs.base)), SIZE2FRAMES(ballocs.size));
+
 		/* Black list first frame, as allocating NULL would
 		 * fail in some places */