carta

dev_put(9) on Linux

The text e98fb2f04f0f, as Debian 4.0 (Etch) shipped it.

release reference to device

dev_put(9) on Linux now