Re: [coreboot] Max pci bus number?