Re: [PATCH] tee: <uapi/linux/tee.h: fix all kernel-doc issues