Re: [libvirt] [PATCH 4/7] xen: fix timer bug found by updated test