Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision a000878c0dee83a08f032207ffd800c201fca95b)
+++ kernel/generic/src/console/kconsole.c	(revision b5cbff48576a057d15deb2e28751ec635d099719)
@@ -224,5 +224,5 @@
 		printf("\n");
 		pos = NULL;
-		while ((hint = cmdtab_search_one(name, &pos))) {
+		while (cmdtab_search_one(name, &pos)) {
 			cmd_info_t *hlp = list_get_instance(pos, cmd_info_t, link);
 			printf("%s (%s)\n", hlp->name, hlp->description);