[PATCH v4 5/8] tee: add tee_shm_alloc_kernel_buf()