Re: [LinuxBIOS] linux pci initialization