Re: [Tee-dev] [PATCHv5 3/3] tpm_ftpm_tee: register driver on TEE bus