[libvirt] [PATCH 0/4] Xen: Improve support for <timer> configurations