M252: Change SERIAL_TX/SERIAL_RX pin names to other than USBTX/USBRX
M252: Change SERIAL_TX/SERIAL_RX pin names to other than USBTX/USBRX

USBTX/USBRX should be dedicated for USB VCOM and not for other uses.

mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed