Index: boot/arch/ppc32/src/main.c
===================================================================
--- boot/arch/ppc32/src/main.c	(revision 4872160f9c176d257f1757469d1adec8033d95f9)
+++ boot/arch/ppc32/src/main.c	(revision fa9616b477cd596cac9330b3fb60f3bf07fb7dec)
@@ -167,5 +167,4 @@
 	
 	printf("Booting the kernel...\n");
-	ofw_quiesce();
 	jump_to_kernel(bootinfo_pa, transtable_pa, pages, real_mode_pa);
 }