Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 7d60cf59c22009459162657970aeff4fb02727ed)
+++ kernel/arch/amd64/src/amd64.c	(revision d1eece65572d8138c54aa9cabc04bc3ef9f131a9)
@@ -40,5 +40,5 @@
 
 #include <proc/thread.h>
-#include <arch/drivers/ega.h>
+#include <genarch/drivers/legacy/ia32/io.h>
 #include <genarch/drivers/ega/ega.h>
 #include <arch/drivers/vesa.h>