The text efc5cd7b4e6c, as Debian 7 (Wheezy) shipped it.
Release a PCI bar
pci_release_region(9) on Linux now
