add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

 kernel/arch/powerpc/kernel/vdso32/vdso32.lds.S
..
..
@@ -147,15 +147,15 @@
147
147
 		__kernel_gettimeofday;
148
148
 		__kernel_clock_gettime;
149
149
 		__kernel_clock_getres;
150
+		__kernel_time;
150
151
 		__kernel_get_tbfreq;
151
152
 		__kernel_sync_dicache;
152
153
 		__kernel_sync_dicache_p5;
153
154
 		__kernel_sigtramp32;
154
155
 		__kernel_sigtramp_rt32;
155
-#ifdef CONFIG_PPC64
156
+#if defined(CONFIG_PPC64) || !defined(CONFIG_SMP)
156
157
 		__kernel_getcpu;
157
158
 #endif
158
-		__kernel_time;
159
159
 
160
160
 	local: *;
161
161
 	};