OpenSSL crypto provider: implement TEE_ALG_AES_CTR