xen: use libxendevicemodel when available