Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 5cb223fc45a97511d5661289ec56529d021ec8f6)
+++ kernel/arch/ia32/src/ia32.c	(revision 7aef7ee471f56932324bb3287bd9486a24a049ef)
@@ -39,5 +39,5 @@
 #include <arch/pm.h>
 
-#include <arch/drivers/ega.h>
+#include <genarch/drivers/legacy/ia32/io.h>
 #include <genarch/drivers/ega/ega.h>
 #include <arch/drivers/vesa.h>