B4.1.1 of the AMBA CHI Chip-to-Chip spec lists the field mapping requirements, but TxnID is not mentioned. Does it mean C2C will pass the original TxnID from requester chip to the home chip without remap? If it's the case, will a C2C interface generate multiple outstanding requests with identical TxnID to home chip (in requester chip they are from different RNs so it's ok to have same TxnID), which might be illegal to the on-chip CHI rules?