Kore J20 UART not working

J20, pins 2 & 3, on Kore carrier are TX/RX serial pins but I’ve been unsuccessful in getting them to work. I’m loading PX4 cubepilot_cubeorange_console from master branch. My colleague successfully uses the nsh console in this same config. The scope trace looks like the pins are in high-impedance mode.

Is there a switch, or some form of board config setting that must be set to use the TX/RX pins on J20?

My troubles had to be some form of pilot error. I found no switch beyond simply building the _console variant.