Index: arch/ppc64/src/dummy.s
===================================================================
--- arch/ppc64/src/dummy.s	(revision 602c9101593bede5e6931056ddd054069b20ff49)
+++ arch/ppc64/src/dummy.s	(revision a597e3f03d1d6dfa29bde4a7c7dfb4a1b2ecc0e6)
@@ -29,4 +29,5 @@
 .text
 
+.global cpu_halt
 .global asm_delay_loop
 .global userspace
@@ -35,4 +36,7 @@
 .global tlb_invalidate_asid
 .global tlb_invalidate_pages
+
+cpu_halt:
+	b cpu_halt
 
 tlb_invalidate_all: