Re: [PATCH] tee: tee_get_drvdata(): fix description of return value