add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

 kernel/arch/ia64/mm/fault.c
..
..
@@ -274,7 +274,7 @@
274
274
 		regs = NULL;
275
275
 	bust_spinlocks(0);
276
276
 	if (regs)
277
-		do_exit(SIGKILL);
277
+		make_task_dead(SIGKILL);
278
278
 	return;
279
279
 
280
280
   out_of_memory: