Verify the teensy support and remediate any issues

[davetcc]

Ensure that TcMenu can run on Teensy hardware with their core.

I think users already run on this core, but this is to confirm that it is working properly, and check over what branches it is using in platform-determination.