Serial Port device names

Hi,

The ttyS5/6/7 serial ports are used internally, and they did not lead out on the hardware.

For the Rx/Tx on the 4 Pin, this is connected to the SAMD21, which means two hard serials can be used on SAMD21 of Odyssey X86.