Now that mbedtls/platform.h is included unconditionally, there are no more
configurations where mbedtls_setbuf was accidentally left out of the manual
definitions when MBEDTLS_PLATFORM_C is disabled. Fixes#6118, #6196.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
