Re: [LinuxBIOS] PCI max buses patch