This is what my Laptop states ... there is one DB9 serial port
Code:
n600c tmp # dmesg | grep -i tty
serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A
00:02: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A
I am not familiar with Xen so there may be something else here that I cannot help you with.