[Pki-users] Provisioning smart cards - is there a piece missing?