Merge pull request #5271 from gilles-peskine-arm/fix-builds-with-only-mbedtls_bignum_c-defined-2.16

Backport 2.16: Fix builds when config.h only defines MBEDTLS_BIGNUM_C