Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision 8eec3c82a9d04f56cd45c25f1e2466f94a863763)
+++ kernel/generic/include/console/kconsole.h	(revision c0f13d2675d8c8db426acccaba56a4377f515dc3)
@@ -47,4 +47,6 @@
 	ARG_TYPE_INT,
 	ARG_TYPE_STRING,
+	/** Optional string */
+	ARG_TYPE_STRING_OPTIONAL,
 	/** Variable type - either symbol or string. */
 	ARG_TYPE_VAR
Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 8eec3c82a9d04f56cd45c25f1e2466f94a863763)
+++ kernel/generic/include/proc/task.h	(revision c0f13d2675d8c8db426acccaba56a4377f515dc3)
@@ -138,5 +138,5 @@
 extern int task_kill(task_id_t);
 extern void task_get_accounting(task_t *, uint64_t *, uint64_t *);
-extern void task_print_list(void);
+extern void task_print_list(bool);
 
 extern void cap_set(task_t *, cap_t);