[PATCH] tee: Fix tee_shm_register() for kernel TEE drivers