Index: arch/ia32/src/interrupt.c
===================================================================
--- arch/ia32/src/interrupt.c	(revision f9447155de20c5cfd68a01025fa1a2b19595bcdd)
+++ arch/ia32/src/interrupt.c	(revision e83a9f7c954282eecb46f51add3a6c1bb620b4aa)
@@ -84,5 +84,4 @@
 	printf("stack: %X, %X, %X, %X\n", stack[4], stack[5], stack[6], stack[7]);
 	panic("general protection fault\n");
-	stack[1]++;
 }