Re: [PATCH v2 01/12] hwrng: optee-rng: use tee_shm_alloc_kernel_buf()