Re: [Tee-dev] [PATCH v2 6/6] xen/arm: optee: update description in Kconfig