[PATCH 4/4] serial: serial_xen: add DEBUG_UART support