Re: [LinuxBIOS] booting from PCI bus card