Tiva serial receive and multiple serial ports