Re: [PATCH 10/10] Documentation: tee: Add Qualcomm TEE driver