J722SXH01EVM: How to modify c7x example to output logs via UART

I am trying to modify the `examples/drivers/ipc/ipc_rpmsg_echo_linux` example from `mcu_plus_sdk_j722s_09_02_00_41` to output logs to one of the UARTs. I am thinking UART5 would be preferred because it is not being used by any core by default (I am using the OS image that ships with the EVM).

I compiled the example code as-is, without UART output, from `mcu_plus_sdk_j722s_09_02_00_41` then swapped the default firmware with the resulting binary `mcu_plus_sdk_j722s_09_02_00_41/examples/drivers/ipc/ipc_rpmsg_echo_linux/j722s-evm/c75ss0-0_freertos/ti-c7000/ipc_rpmsg_echo_linux.release.out` and verified it runs OK.

I then tried modifying `examples/drivers/ipc/ipc_rpmsg_echo_linux/j722s-evm/c75ss0-0_freertos/example.syscfg` to enable UART logging:

1. I changed `debug_log.enableUartLog = false;` to `debug_log.enableUartLog = true;`
2. I Aaded

const uart = scripting.addModule("/drivers/uart/uart", {}, false);
const uart1 = uart.addInstance();
uart1.$name = "UART5";

uart1.UART.$suggestSolution = "USART5";
uart1.UART.RXD.$suggestSolution = "UART5_RXD";
uart1.UART.TXD.$suggestSolution = "UART5_TXD";

The resulting firmware binary causes the EVM to lock-up during boot while Linux services are starting. I tried changing USART5 to other UART IDs but the result is the same.
Could someone point me to documentation or an example project that shows how to configure UART logging for on one of the j722s's c75x cores?

Thank you