pnp_release_card_device(9) on Linux

The text 6f10a0405bb6, as Debian 7 (Wheezy) shipped it.

call this when the driver no longer needs the device

pnp_release_card_device(9) on Linux now