[PATCH v2 5/7] selftests/nolibc: use INT_MAX instead of __INT_MAX__