Don't capitalize TPM2 serial port name in Linux/OSX.

The TPM2 serial port name is always capitalized. This only works in Windows and should be changed.