Re: [PATCH 6/7] firmware: tee_bnxt: use tee_shm_alloc_kernel_buf()