88 /* Final PCI Bus number */