Re: [libvirt] [PATCH 1/4] libxl: fix timer configuration