ERL second serial port?

[Kurt Lidl]

Greetings all.

I noticed on my ERL, which has a fairly recent build of HEAD
on it (r279016M), that a two serial ports are probed during
the kernel's autoconfiguration.

uart1: <Octeon-16550 channel 1> on obio0
uart1: console (115200,n,8,1)
uart1: fast interrupt
uart0: <Octeon-16550 channel 0> on obio0
uart0: console (115200,n,8,1)
uart0: fast interrupt

Obviously, one of these is the serial port console of the machine.

I was wondering if the second serial port was semi-easily
accessible.  Examining the motherboard of the ERL closely, there's
a place where some header pins could be soldered in - there are just
empty through-holes on the PCB.

Does anybody know what pins from what devices are available on
these holes?  I'd like to be able to access the second serial
port on the machine, and it seems not unlikely that a few of
the uart's signals might show up on the headers that could be
soldered into the holes.

Thanks for any information.

-Kurt