Index: arch/ppc/include/asm.h
===================================================================
--- arch/ppc/include/asm.h	(revision 379d73f3869a721fb39fb9f14fbf938a005c8aa6)
+++ arch/ppc/include/asm.h	(revision b8f0c1056d87653a807666ff906f68c415ed578e)
@@ -78,3 +78,6 @@
 }
 
+void cpu_sleep(void);
+void asm_delay_loop(__u32 t);
+
 #endif
Index: arch/ppc/src/drivers/ofw.c
===================================================================
--- arch/ppc/src/drivers/ofw.c	(revision 379d73f3869a721fb39fb9f14fbf938a005c8aa6)
+++ arch/ppc/src/drivers/ofw.c	(revision b8f0c1056d87653a807666ff906f68c415ed578e)
@@ -29,4 +29,5 @@
 #include <arch/drivers/ofw.h>
 #include <stdarg.h>
+#include <cpu.h>
 
 ofw_entry ofw;
Index: arch/ppc/src/dummy.s
===================================================================
--- arch/ppc/src/dummy.s	(revision 379d73f3869a721fb39fb9f14fbf938a005c8aa6)
+++ arch/ppc/src/dummy.s	(revision b8f0c1056d87653a807666ff906f68c415ed578e)
@@ -35,4 +35,5 @@
 .global userspace
 .global before_thread_runs_arch
+.global cpu_sleep
 .global cpu_identify
 .global cpu_arch_init