They depended on MBEDTLS_SHA512_C only. A check for !MBEDTLS_SHA512_NO_SHA384 was missing. Fix #4499. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>