[libvirt] Xen 4.0 and DPCI key in sexpr