Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision a000878c0dee83a08f032207ffd800c201fca95b)
+++ kernel/generic/src/console/kconsole.c	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -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);