Index: kernel/arch/ppc32/src/asm.S
===================================================================
--- kernel/arch/ppc32/src/asm.S	(revision 5a42886138d4aab0bf370134954892eb9896554a)
+++ kernel/arch/ppc32/src/asm.S	(revision d8bb8213173f9665d9d1f2f90ef7d87a8eb96e7c)
@@ -144,9 +144,4 @@
 iret_syscall:
 	
-	/* Reset decrementer */
-	
-	li r31, 1000
-	mtdec r31
-	
 	/* Disable interrupts */