diff --git a/src/arch/arm/fit_payload.c b/src/arch/arm/fit_payload.c
index 9777e3c1e5..19f46a8bc1 100644
--- a/src/arch/arm/fit_payload.c
+++ b/src/arch/arm/fit_payload.c
@@ -1,6 +1,5 @@
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
-#include <console/console.h>
 #include <bootmem.h>
 #include <program_loading.h>
 #include <fit.h>
diff --git a/src/arch/x86/ebda.c b/src/arch/x86/ebda.c
index ea2d9d3b0c..0e3465a040 100644
--- a/src/arch/x86/ebda.c
+++ b/src/arch/x86/ebda.c
@@ -4,7 +4,6 @@
 #include <acpi/acpi.h>
 #include <arch/ebda.h>
 #include <commonlib/endian.h>
-#include <console/console.h>
 
 static void *get_ebda_start(void)
 {