Index: kernel/arch/amd64/Makefile.inc
===================================================================
--- kernel/arch/amd64/Makefile.inc	(revision 8c7d5adf6864144540bbcdd88ca84f925dab4e02)
+++ kernel/arch/amd64/Makefile.inc	(revision c12f8911dc227a24b5ab11008009157569740d86)
@@ -91,3 +91,2 @@
 	arch/$(KARCH)/include/arch/istate_struct.ag \
 	arch/$(KARCH)/include/arch/context_struct.ag
-