The product page and pinout for Teensy 4.0 says that there are "3 CAN Bus (1 with CAN FD)". Which pins should I use for CAN-FD? CTX3/CRX3?