diff --git a/src/drivers/pc80/pc/i8254.c b/src/drivers/pc80/pc/i8254.c
index eb91bf6f01..27c7bfdbe1 100644
--- a/src/drivers/pc80/pc/i8254.c
+++ b/src/drivers/pc80/pc/i8254.c
@@ -15,7 +15,6 @@
 
 #include <arch/io.h>
 #include <pc80/i8254.h>
-#include <console/console.h>
 
 /* Initialize i8254 timers */
 
diff --git a/src/drivers/pc80/pc/spkmodem.c b/src/drivers/pc80/pc/spkmodem.c
index df66f6fa62..c1b8fc8bf9 100644
--- a/src/drivers/pc80/pc/spkmodem.c
+++ b/src/drivers/pc80/pc/spkmodem.c
@@ -14,7 +14,6 @@
  * GNU General Public License for more details.
  */
 
-#include <console/console.h>
 #include <arch/io.h>
 #include <console/spkmodem.h>
 #include <cpu/x86/tsc.h>