[PATCH 5/7] tpm_ftpm_tee: use tee_shm_alloc_kernel_buf()