diff --git a/src/mainboard/ocp/deltalake/ipmi.c b/src/mainboard/ocp/deltalake/ipmi.c
index 90222157e344..25a5a27cba67 100644
--- a/src/mainboard/ocp/deltalake/ipmi.c
+++ b/src/mainboard/ocp/deltalake/ipmi.c
@@ -5,7 +5,6 @@
 #include <drivers/ipmi/ipmi_ops.h>
 #include <drivers/ipmi/ocp/ipmi_ocp.h>
 #include <drivers/vpd/vpd.h>
-#include <string.h>
 
 #include "ipmi.h"
 #include "vpd.h"
diff --git a/src/mainboard/ocp/deltalake/loglevel_vpd.c b/src/mainboard/ocp/deltalake/loglevel_vpd.c
index 78808797a8c1..aa85cb9d5796 100644
--- a/src/mainboard/ocp/deltalake/loglevel_vpd.c
+++ b/src/mainboard/ocp/deltalake/loglevel_vpd.c
@@ -2,7 +2,6 @@
 
 #include <console/console.h>
 #include <drivers/vpd/vpd.h>
-#include <string.h>
 
 #include "vpd.h"
 
diff --git a/src/mainboard/ocp/deltalake/romstage.c b/src/mainboard/ocp/deltalake/romstage.c
index 0a7ecf18d81c..f833715f90ce 100644
--- a/src/mainboard/ocp/deltalake/romstage.c
+++ b/src/mainboard/ocp/deltalake/romstage.c
@@ -7,7 +7,6 @@
 #include <fsp/api.h>
 #include <FspmUpd.h>
 #include <soc/romstage.h>
-#include <string.h>
 
 #include "chip.h"
 #include "ipmi.h"