Check to see if krb5-workstation is installed.