[sr-dev] git:master: tls: minor DBG() fix for the servername extension