[SSSD] [sssd PR#758][comment] krb5_locator: always use port 88 for master KDC