The text f0b08f9818c3, as Debian 7 (Wheezy) shipped it.
allocate a resource from a parent bus
pci_bus_alloc_resource(9) on Linux now
