[PATCH 0/4] xen: improve console outputs