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