diff --git a/src/mainboard/kontron/mal10/include/carrier/gpio.h b/src/mainboard/kontron/mal10/include/carrier/gpio.h
index b8606f62a1..9466b24dba 100644
--- a/src/mainboard/kontron/mal10/include/carrier/gpio.h
+++ b/src/mainboard/kontron/mal10/include/carrier/gpio.h
@@ -4,7 +4,6 @@
 #define CARRIER_GPIO_H
 
 #include <gpio.h>
-#include <stddef.h>
 
 /*
  * Bidirectional GPIO port when both RX and TX buffer is enabled
diff --git a/src/mainboard/kontron/mal10/include/variant/gpio.h b/src/mainboard/kontron/mal10/include/variant/gpio.h
index 99cf35a037..a3ff7c0c31 100644
--- a/src/mainboard/kontron/mal10/include/variant/gpio.h
+++ b/src/mainboard/kontron/mal10/include/variant/gpio.h
@@ -4,7 +4,6 @@
 #define VARIANT_GPIO_H
 
 #include <gpio.h>
-#include <stddef.h>
 
 void variant_early_gpio_configure(void);
 
diff --git a/src/mainboard/kontron/mal10/ramstage.c b/src/mainboard/kontron/mal10/ramstage.c
index 48194e6848..3d259d8ea7 100644
--- a/src/mainboard/kontron/mal10/ramstage.c
+++ b/src/mainboard/kontron/mal10/ramstage.c
@@ -2,7 +2,6 @@
 
 #include <soc/ramstage.h>
 #include <carrier/gpio.h>
-#include <stddef.h>
 
 void mainboard_silicon_init_params(FSP_S_CONFIG *silconfig)
 {
diff --git a/src/mainboard/kontron/mal10/romstage.c b/src/mainboard/kontron/mal10/romstage.c
index 9f1d7eb87d..dba78f7909 100644
--- a/src/mainboard/kontron/mal10/romstage.c
+++ b/src/mainboard/kontron/mal10/romstage.c
@@ -1,6 +1,5 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <string.h>
 #include <soc/romstage.h>
 #include <FspmUpd.h>