ks: wrong TX CPU format was being printed (was printing RX for TX)