Re: [LinuxBIOS] LinuxBIOS through PCI