Index: kernel/arch/amd64/Makefile.inc
===================================================================
--- kernel/arch/amd64/Makefile.inc	(revision 8848276f783a994f2c75a9a78277b322ca2a81ad)
+++ kernel/arch/amd64/Makefile.inc	(revision 903b54557c34b5d1fc13e929901511b8b04a676e)
@@ -91,3 +91,2 @@
 	arch/$(KARCH)/include/arch/istate_struct.ag \
 	arch/$(KARCH)/include/arch/context_struct.ag
-