diff --git a/src/pc80/ide/ide.c b/src/pc80/ide/ide.c
index 823c5b5b6d..d9ef69d34c 100644
--- a/src/pc80/ide/ide.c
+++ b/src/pc80/ide/ide.c
@@ -22,10 +22,10 @@
  */
 
 #include <arch/io.h>
-#include <printk.h>
+#include <console/console.h>
 #include <string.h>
 #include <delay.h>
-#include <pci.h>
+#include <device/pci.h>
 #include <pc80/ide.h>
 #include <arch/io.h>