Re: [PATCH 08/10] tee: add Qualcomm TEE driver