diff --git a/src/drivers/i2c/ptn3460/ptn3460.h b/src/drivers/i2c/ptn3460/ptn3460.h
index 4b9834eb9d..f8242f8aef 100644
--- a/src/drivers/i2c/ptn3460/ptn3460.h
+++ b/src/drivers/i2c/ptn3460/ptn3460.h
@@ -16,7 +16,7 @@
 #ifndef _I2C_PTN3460_H_
 #define _I2C_PTN3460_H_
 
-#include <stdint.h>
+#include <types.h>
 
 #define PTN_EDID_OFF		0x00
 #define PTN_EDID_LEN		0x80
diff --git a/src/drivers/ipmi/ipmi_ops.c b/src/drivers/ipmi/ipmi_ops.c
index 8a189bdbe1..a53929a29a 100644
--- a/src/drivers/ipmi/ipmi_ops.c
+++ b/src/drivers/ipmi/ipmi_ops.c
@@ -17,6 +17,7 @@
 #include <console/console.h>
 #include "ipmi_ops.h"
 #include <string.h>
+#include <types.h>
 
 enum cb_err ipmi_init_and_start_bmc_wdt(const int port, uint16_t countdown,
 				uint8_t action)
diff --git a/src/ec/lenovo/h8/bluetooth.c b/src/ec/lenovo/h8/bluetooth.c
index c3a2555780..436b319084 100644
--- a/src/ec/lenovo/h8/bluetooth.c
+++ b/src/ec/lenovo/h8/bluetooth.c
@@ -18,6 +18,7 @@
 #include <device/device.h>
 #include <ec/acpi/ec.h>
 #include <option.h>
+#include <types.h>
 
 #include "h8.h"
 #include "chip.h"