[mbed-tls] Simple question about support of TLS1.2 and TLS1.3 on server side