Make mbedtls_mpi_gcd() more consistent

Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>
diff --git a/include/mbedtls/bignum.h b/include/mbedtls/bignum.h
index 297c0a6..6187856 100644
--- a/include/mbedtls/bignum.h
+++ b/include/mbedtls/bignum.h
@@ -974,8 +974,7 @@
  * \brief          Compute the greatest common divisor: G = gcd(A, B)
  *
  * \param G        The destination MPI. This must point to an initialized MPI.
- *                 This will be positive unless \p B is 0, in which case \p A
- *                 will be returned, where \p A could be negative.
+ *                 This will always be positive or 0.
  * \param A        The first operand. This must point to an initialized MPI.
  * \param B        The second operand. This must point to an initialized MPI.
  *