Have you tried running it on a Teensy 4.0? Looks like this should probably just work, assuming the mcp_can library uses SPI to talk to that chip. SPI uses the same pins, and this code looks like I2C is used for the display, which also uses the same pins between Teensy 3.2 to Teensy 4.0...