Na caixa do linux, tente:
$ kinit your_username
Digite sua senha. Em seguida, digite:
$ klist
E veja se você tem um ticket kerberos válido.
No meu arquivo krb5.conf eu não tenho nenhum número de porta na minha seção de realms. Além disso, na seção domain_realm, tenho algo parecido com isto:
MY-DC1.COMPANY.COM = COMPANY.COM
.MY-DC1.COMPANY.COM = COMPANY.COM
Tente alterar o lado esquerdo dessas linhas para apontar diretamente para o controlador de domínio para o qual você será autenticado.