diff --git a/src/arch/arm/eabi_compat.c b/src/arch/arm/eabi_compat.c
index 45f4651a03..b2caf9c377 100644
--- a/src/arch/arm/eabi_compat.c
+++ b/src/arch/arm/eabi_compat.c
@@ -14,7 +14,6 @@
  * Utility functions needed for (some) EABI conformant tool chains.
  */
 
-#include <stdint.h>
 #include <stddef.h>
 #include <string.h>
 #include <console/console.h>