diff --git a/src/cpu/x86/smm/smm_module_loader.c b/src/cpu/x86/smm/smm_module_loader.c
index 17ef92ea7f..ea51d63e83 100644
--- a/src/cpu/x86/smm/smm_module_loader.c
+++ b/src/cpu/x86/smm/smm_module_loader.c
@@ -10,7 +10,6 @@
 #include <device/device.h>
 #include <device/mmio.h>
 #include <rmodule.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <string.h>
 #include <types.h>
diff --git a/src/soc/sifive/fu740/include/soc/sdram.h b/src/soc/sifive/fu740/include/soc/sdram.h
index 8848d1a587..83bfe641a6 100644
--- a/src/soc/sifive/fu740/include/soc/sdram.h
+++ b/src/soc/sifive/fu740/include/soc/sdram.h
@@ -3,7 +3,6 @@
 #ifndef SIFIVE_COMMON_SDRAM_H
 #define SIFIVE_COMMON_SDRAM_H
 
-#include <stdint.h>
 #include <types.h>
 
 void sdram_init(size_t dram_size);