[PATCH v1 16/17] tpm/tpm_ftpm_tee: Make use of tee specific driver registration