xenserver: Avoid doing unneeded work in deconfigure_datapath().