Re: [LinuxBIOS] PCI max buses - Simple solution