[LinuxBIOS] booting from PCI bus card