Remove autofs-stuff... gave us problems and strictly speaking
not needed (we can mount manually).  While here, do not do
idmapd/gssd restarts, if we have not copied a ticket to /tmp/krb5cc_0.