Is anyone looking at PCIe hotplug support? I'm especially interested if anyone has a strategy for device re-insertion and reassociating the reinserted device with its old device_t so that it gets the same unit number.. (assumes access to a serial number or similar) Even if it is put back into a different slot.