Estamos lutando com o mesmo. Se você solicitar seu ticket de serviço com kvno sem reino, será o mesmo resultado. Eu realmente não entendo a causa raiz, mas adicionando a seção [domain_realm] ao arquivo krb5.conf resolve isso. Eu estou querendo saber se alguém pode dizer mais. Seria útil para mim também.