PCIe hotplug

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.