krb5_wrap: Remove obsolete smb_krb5_get_principal_from_service_hostname()