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