Fix xen console output