Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision df4fbe1e9d5a37f53f9b96d928a679649f532c8a)
+++ kernel/generic/src/ddi/ddi.c	(revision 4546fc3b9cae599a9a78e031f2acb7efcb1c1eba)
@@ -166,7 +166,7 @@
 	}
 	
-	if (zones.info[znum].flags & ZONE_FIRMWARE) {
-		/*
-		 * Frames are part of firmware
+	if (zones.info[znum].flags & (ZONE_FIRMWARE | ZONE_RESERVED)) {
+		/*
+		 * Frames are part of firmware or reserved zone
 		 * -> allow mapping for privileged tasks.
 		 */
Index: kernel/generic/src/lib/func.c
===================================================================
--- kernel/generic/src/lib/func.c	(revision df4fbe1e9d5a37f53f9b96d928a679649f532c8a)
+++ kernel/generic/src/lib/func.c	(revision 4546fc3b9cae599a9a78e031f2acb7efcb1c1eba)
@@ -53,5 +53,5 @@
 void halt()
 {
-#ifdef CONFIG_DEBUG
+#if (defined(CONFIG_DEBUG)) && (defined(CONFIG_KCONSOLE))
 	bool rundebugger = false;
 	
Index: uspace/drv/char/ps2mouse/ps2mouse.c
===================================================================
--- uspace/drv/char/ps2mouse/ps2mouse.c	(revision df4fbe1e9d5a37f53f9b96d928a679649f532c8a)
+++ uspace/drv/char/ps2mouse/ps2mouse.c	(revision 4546fc3b9cae599a9a78e031f2acb7efcb1c1eba)
@@ -80,5 +80,5 @@
 	} \
 	if (data != (value)) { \
-		ddf_msg(LVL_ERROR, "Failed testing byte: got %hhx vs. %hhx)", \
+		ddf_msg(LVL_DEBUG, "Failed testing byte: got %hhx vs. %hhx)", \
 		    data, (value)); \
 		return EIO; \