Carrier Board is same for TX1 and TX2 . So, it will be available for TX2 and unused for TX1
regards Sandipan