Does it ever happen that a system has more than one tpm? If so would we need more than just `tpm0` here?