Also look at this thread:
https://forum.legato.io/t/how-to-start-uart-communication-on-uart1-port-ie-pin-8-10-on-mangoh-red-using-wp7502/3232/12
Also you may encounter an issue with UART timeout:
https://forum.sierrawireless.com/t/problem-with-reading-uart/13322