diff --git a/src/soc/qualcomm/ipq806x/spi.c b/src/soc/qualcomm/ipq806x/spi.c
index 2657b9c574..64a98d5123 100644
--- a/src/soc/qualcomm/ipq806x/spi.c
+++ b/src/soc/qualcomm/ipq806x/spi.c
@@ -19,7 +19,7 @@
 #include <gpio.h>
 #include <soc/iomap.h>
 #include <soc/spi.h>
-#include <stdlib.h>
+#include <types.h>
 
 #define SUCCESS		0
 
diff --git a/src/soc/rockchip/common/edp.c b/src/soc/rockchip/common/edp.c
index 91e2de9ff4..ea0930a058 100644
--- a/src/soc/rockchip/common/edp.c
+++ b/src/soc/rockchip/common/edp.c
@@ -18,13 +18,12 @@
 #include <delay.h>
 #include <device/device.h>
 #include <edid.h>
-#include <stdlib.h>
-#include <stdint.h>
 #include <string.h>
 #include <soc/addressmap.h>
 #include <soc/display.h>
 #include <soc/edp.h>
 #include <timer.h>
+#include <types.h>
 
 #define edp_debug(x...) do {if (0) printk(BIOS_DEBUG, x); } while (0)
 
diff --git a/src/soc/rockchip/common/spi.c b/src/soc/rockchip/common/spi.c
index e929419a14..7bde4333ea 100644
--- a/src/soc/rockchip/common/spi.c
+++ b/src/soc/rockchip/common/spi.c
@@ -23,8 +23,8 @@
 #include <soc/clock.h>
 #include <spi-generic.h>
 #include <spi_flash.h>
-#include <stdlib.h>
 #include <timer.h>
+#include <types.h>
 
 struct rockchip_spi_slave {
 	struct rockchip_spi *regs;