Index: kernel/arch/amd64/src/smp/ap.S
===================================================================
--- kernel/arch/amd64/src/smp/ap.S	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/amd64/src/smp/ap.S	(revision 0c793e2e9c4358a2bb2521d35eb36b273cf0283b)
@@ -39,5 +39,5 @@
 #include <arch/cpu.h>
 #include <arch/cpuid.h>
-#include <arch/context_struct.h>
+#include <arch/context_struct.ag.h>
 
 .section K_TEXT_START, "ax"