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