Symbol: tpm_cr50_i2c_read