Install SSH server by default, with Kerberos authentication