[#3] Fix the KerberosServicePrincipal value in the server.config