So if I understand correctly, you have a pci hotplug capable mainboard? Or what
Hmm, me no, Cc-ing Greg and lkml.
Maybe outputs from lspci -vvxxx would be good when you plug the card in and
after reboot. I suspect the card is not reset somehow rather than pci layer, so
-