Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/generic/src/console/cmd.c	(revision 7c3fb9bd77e4d2f6c10517a052e567f176fa91ee)
@@ -1421,6 +1421,8 @@
 	printf("%s (%s)\n", test->name, test->desc);
 
-	/* Update and read thread accounting
-	   for benchmarking */
+	/*
+	 * Update and read thread accounting
+	 * for benchmarking
+	 */
 	irq_spinlock_lock(&TASK->lock, true);
 	uint64_t ucycles0, kcycles0;
@@ -1474,6 +1476,8 @@
 		printf("%s (%u/%u) ... ", test->name, i + 1, cnt);
 
-		/* Update and read thread accounting
-		   for benchmarking */
+		/*
+		 * Update and read thread accounting
+		 * for benchmarking
+		 */
 		irq_spinlock_lock(&TASK->lock, true);
 		uint64_t ucycles0, kcycles0;