Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 37c312a7ac9843a2f846a0434e94d88f096e94cb)
+++ kernel/generic/src/console/kconsole.c	(revision 58d7280fbbd19031da736e5e9b0e3edd9f0f58df)
@@ -583,5 +583,5 @@
 			buf = (char *) cmd->argv[i].buffer;
 			str_ncpy(buf, cmd->argv[i].len, cmdline + start,
-			    (end - start) + 1);
+			    end - start);
 			break;
 		case ARG_TYPE_INT: