Index: kernel/arch/ppc64/src/ppc64.c
===================================================================
--- kernel/arch/ppc64/src/ppc64.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
+++ kernel/arch/ppc64/src/ppc64.c	(revision 0b414b5bfb083f200dcb33bd41d7b8a75f79142e)
@@ -76,4 +76,8 @@
 }
 
+void arch_post_cpu_init(void)
+{
+}
+
 void arch_pre_smp_init(void)
 {