fdt: Add INT32_MAX to kernel.h for libfdt