Re: [LinuxBIOS] Configuring PCI devices