diff --git a/lib/utils/libfdt/libfdt_env.h b/lib/utils/libfdt/libfdt_env.h
index 535b6371..415acff8 100644
--- a/lib/utils/libfdt/libfdt_env.h
+++ b/lib/utils/libfdt/libfdt_env.h
@@ -57,6 +57,8 @@
 
 #define INT_MAX		((int)(~0U >> 1))
 #define UINT_MAX	((unsigned int)~0U)
+#define INT32_MAX	INT_MAX
+#define UINT32_MAX	UINT_MAX
 
 #ifdef __CHECKER__
 #define FDT_FORCE __attribute__((force))