Re: [Tee-dev] [PATCH v7 5/5] xen/arm: optee: document OPTEE option in tee/Kconfig