XenBus machines have almost no hotplug support