configure: use pkg-config for obtaining xen version