deadlock() - more info

- deadlock() is more verbose in case of a detected deadlock. First, it
  lists all processses in the deadlock group. Then it prints the proc
  extra info, not only  stack trace and register dump

kernel/proc.c

@@ -492,6 +492,10 @@ proc_nr_t src_dst;				/* src or dst process */
 		printf("deadlock between these processes:\n");
 		for(i = 0; i < group_size; i++) {
 			printf(" %10s ", processes[i]->p_name);
+		}
+		printf("\n\n");
+		for(i = 0; i < group_size; i++) {
+			print_proc(processes[i]);
 			proc_stacktrace(processes[i]);
 		}
 	  }