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