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