Hola,
luego de ver que funciona correctamente la UART para trasmision (logramos ver caracteres en la terminal), y verificar que la ISR de RX funciona correctamente (probamos hacer que reciba lo que manda TX y verificando el registro de recepcion UCA0RXBUF), tenemos el siguiente problema al probar recibir datos de la terminal:
Al enviar un caracter solo, el registro de recepcion (UCA0RXBUF) recibe solo el caracter de fin de linea \r (verificamos que es 13 o 0x0D en ASCII). Lo mismo al enviar una serie de caracteres. Al correr paso a paso en modo debug, vemos que entra a la ISR de RX solo una vez, para guardar \r.
Hablamos con otros grupos que estan teniendo el mismo problema.