Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ 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>