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