Re: [PATCH v4 01/10] hwrng: optee-rng: use tee_shm_alloc_kernel_buf()