Index: kernel/arch/xen32/src/xen32.c
===================================================================
--- kernel/arch/xen32/src/xen32.c	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
+++ kernel/arch/xen32/src/xen32.c	(revision 26678e5a1f0f0a6dda91a9e89a03aa3ca86e447c)
@@ -152,4 +152,8 @@
 }
 
+void arch_post_cpu_init(void)
+{
+}
+
 void arch_pre_smp_init(void)
 {