Index: uspace/srv/hid/output/port/chardev.c
===================================================================
--- uspace/srv/hid/output/port/chardev.c	(revision 7259317ff15733bb06bf5d4dcff8e0c2bb588a7d)
+++ uspace/srv/hid/output/port/chardev.c	(revision ba1ea408952db6f717ab18da9abce07fc16932ef)
@@ -157,4 +157,12 @@
 	}
 
+	if (!console) {
+		/*
+		 * The user specified some boot arguments, but the serial
+		 * console service was not among them.
+		 */
+		return EOK;
+	}
+
 	rc = loc_category_get_id("serial", &serial_cat_id, IPC_FLAG_BLOCKING);
 	if (rc != EOK) {