Index: boot/arch/ppc32/loader/asm.S
===================================================================
--- boot/arch/ppc32/loader/asm.S	(revision 4bc73fa8bbcccf620136bf8a8217a30c0a840d89)
+++ boot/arch/ppc32/loader/asm.S	(revision 26c67a8eb4ba0b76cf13eb995623acde141cafa1)
@@ -319,5 +319,4 @@
 #endif
 	
-	tlbia
 	tlbsync