Merge pull request #838 from gilles-peskine-arm/ecp_max_bits-check-2.16

Backport 2.16: check MBEDTLS_ECP_MAX_BITS