If you see without a yellow exclamation mark, the driver is already installed.
Drivers for EliteBook and other business models are often available on the HP Support Portal . alcor micro smart card reader driver windows 10