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