[PATCH v4 4/5] Documentation: tee: Add TS-TEE driver