Re: [PATCH] tests: Fix libxlxml2domconfigtest with latest xen