diff --git a/src/mainboard/jetway/nf81-t56n-lf/mainboard.c b/src/mainboard/jetway/nf81-t56n-lf/mainboard.c
index 25263eacb2..53cb8c3e60 100644
--- a/src/mainboard/jetway/nf81-t56n-lf/mainboard.c
+++ b/src/mainboard/jetway/nf81-t56n-lf/mainboard.c
@@ -2,7 +2,6 @@
 
 #include <amdblocks/acpimmio.h>
 #include <device/mmio.h>
-#include <console/console.h>
 #include <device/device.h>
 
 #include <southbridge/amd/common/amd_pci_util.h>
diff --git a/src/mainboard/lenovo/g505s/mainboard.c b/src/mainboard/lenovo/g505s/mainboard.c
index 1a81182e55..90639af7f4 100644
--- a/src/mainboard/lenovo/g505s/mainboard.c
+++ b/src/mainboard/lenovo/g505s/mainboard.c
@@ -3,7 +3,6 @@
 #include "ec.h"
 
 #include <acpi/acpi.h>
-#include <console/console.h>
 #include <cpu/x86/smm.h>
 #include <device/device.h>
 #include <southbridge/amd/common/amd_pci_util.h>
diff --git a/src/mainboard/msi/ms7721/mainboard.c b/src/mainboard/msi/ms7721/mainboard.c
index 2d1de391e0..37bce31c80 100644
--- a/src/mainboard/msi/ms7721/mainboard.c
+++ b/src/mainboard/msi/ms7721/mainboard.c
@@ -1,6 +1,5 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <console/console.h>
 #include <cpu/x86/msr.h>
 #include <cpu/amd/msr.h>
 #include <device/device.h>
diff --git a/src/mainboard/ocp/deltalake/uartio_vpd.c b/src/mainboard/ocp/deltalake/uartio_vpd.c
index 83034727cd..4c2d876c7d 100644
--- a/src/mainboard/ocp/deltalake/uartio_vpd.c
+++ b/src/mainboard/ocp/deltalake/uartio_vpd.c
@@ -1,6 +1,5 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <console/console.h>
 #include <drivers/vpd/vpd.h>
 #include <console/uart.h>