fix Xen 4.x console output