Pues en un principio en C de CCS sería de la siguiente manera:
#Use RS232(uart1, baud=4800, parity=N, bits=8, TIMEOUT=1, Stream = PORT1)
#pin_select U2TX=PIN_D6
#pin_select U2RX=PIN_D7
#Use RS232(uart2, baud=38400, parity=N, bits=8, TIMEOUT=1, Stream = PORT2)
El módulo uart1 al no especificar nada que dará con los pin por defecto y el 2 con la configuración especificada.
Me he pedido unos micros (Pic18F46j11 y Pic18F45j50) para probar a ver que sale. Con un poco de suerte no tendré que modificar el PCB.