Simple PKCS11 provider for TPM chips