and add a missing pci_disable_device() to device shutdown.
Signed-off-by: NStefan Richter <stefanr@s5r6.in-berlin.de>