The text 9faaab223539, as Debian 7 (Wheezy) shipped it.
Release reserved PCI I/O and memory resources
pci_release_regions(9) on Linux now
