I have a user with a Dell Latitude D420. If he logs into the domain manually, ie username and password, everything is fine. If he logs into the laptop using his PKI Card, everything works fine, until he needs to shutdown. The unit will start to run the shutdown scripts, but hangs with the...