Re: [PATCH 3/7] tee: add tee_shm_alloc_kernel_buf()