This is printed in the syslog...
Oct 13 01:00:41 dolphin cardmgr[601]: get dev info on socket 0 failed: Resource temporarily unavailable
There is also an oops on shutdown, the stack contains pci_remove_device; I can
dig deeper into this only after October 18th.
--alessandro