The text a8c99d61cdfa, as Debian 4.0 (Etch) shipped it.
returns maximum PCI bus number of given bus' children
pci_bus_max_busnr(9) on Linux now
