[Tee-dev] [PATCH v1 0/2] Add OP-TEE based hwrng driver