Add OMNIKEY CardMan 4040 smartcard reader.