Re: [PATCH] tee: optee: fix kernel-doc warnings