add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

 kernel/arch/x86/kernel/process.c
..
..
@@ -720,7 +720,7 @@
720
720
 }
721
721
 #endif
722
722
 
723
-void stop_this_cpu(void *dummy)
723
+void __noreturn stop_this_cpu(void *dummy)
724
724
 {
725
725
 	local_irq_disable();
726
726
 	/*