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