Figured this out and thought it would be helpful (and so there's a record out there if I ever have to figure this out again).
I was in a situation where I had to in order to ensure that hotplugged systems of multiple teensies into one board could be named correctly for serial communication...
