Re: [Tee-dev] [PATCH v2 4/4] hwrng: add OP-TEE based rng driver