[PATCH 10/29] tools include: Add UINT_MAX def to kernel.h