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