Ensure that `mbedtls_check_config.h` is taken into account. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>