[Tee-dev] [PATCH v3 3/3] xen/arm: optee: update description in Kconfig