diff --git a/src/console/uart8250_console.c b/src/console/uart8250_console.c
index 330ed684f7..196412c628 100644
--- a/src/console/uart8250_console.c
+++ b/src/console/uart8250_console.c
@@ -19,7 +19,6 @@
 
 #include <console/console.h>
 #include <uart8250.h>
-#include <pc80/mc146818rtc.h>
 
 static void ttyS0_init(void)
 {
diff --git a/src/console/uart8250mem_console.c b/src/console/uart8250mem_console.c
index ed77237e41..3833e47a7b 100644
--- a/src/console/uart8250mem_console.c
+++ b/src/console/uart8250mem_console.c
@@ -19,7 +19,6 @@
 
 #include <console/console.h>
 #include <uart8250.h>
-#include <pc80/mc146818rtc.h>
 
 static u32 uart_bar = 0;