hw iDs : ACPI\SMCB000
Problem Code : 0000001C
Are you sure this hardware ID is a Smartcard reader? Problem code 1C means it couldn't find a driver for it. Usually, Smartcard readers are either USB, PCMCIA or PCI, so the hardware ID will have the appropriate "prefix" but your prefix is ACPI which means it is BIOS enumerated. I have never seen a BIOS enumerated Smartcard reader before. Is it built-in to a laptop? If so, what is the laptop make/model?