Im working on a friends computer. It is an HP and has a smart card reader. I can't find drivers. Any ideas? The computer is a a6137c When I look at devide descriptions is says HP ProtectTools serial smart card reader. How can i tell if it's a hardware instead of software problem?