[PATCH 4.4 123/137] libfdt: define INT32_MAX and UINT32_MAX in libfdt_env.h