You could put both a Raspberry Pi Pico footprint and Teensy footprint on your custom PCB and later decide which one to populate?