Add gnutls_psk_set_server_credentials_hint.