Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
+++ kernel/arch/ia32/src/smp/smp.c	(revision bbb99f8282ee38769ab9130ff5683535ed6c6d33)
@@ -55,5 +55,5 @@
 #include <log.h>
 #include <mem.h>
-#include <arch/drivers/i8259.h>
+#include <genarch/drivers/i8259/i8259.h>
 #include <cpu.h>