feature #1761: make xen monitor work with the driver name changes