[PATCH v3 06/12] selftests/nolibc: use INT_MAX instead of __INT_MAX__