diff --git a/drivers/serial/serial_zynq.c b/drivers/serial/serial_zynq.c
index 6807f0f812f513db07fd981c1ae1a0f9131249b0..b2b98dea156112773d344f3598d3375fa22b7ec4 100644
--- a/drivers/serial/serial_zynq.c
+++ b/drivers/serial/serial_zynq.c
@@ -192,9 +192,6 @@ U_BOOT_DRIVER(serial_zynq) = {
 };
 
 #ifdef CONFIG_DEBUG_UART_ZYNQ
-
-#include <debug_uart.h>
-
 void _debug_uart_init(void)
 {
 	struct uart_zynq *regs = (struct uart_zynq *)CONFIG_DEBUG_UART_BASE;