add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 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
 	};