Re: [U-Boot] [PATCH 1/4] fdt: Add INT32_MAX to kernel.h for libfdt