The text ceab6f870d26, as Debian 8 (Jessie) shipped it.
allocate a resource from a parent bus
pci_bus_alloc_resource(9) on Linux now
