[LinuxBIOS] LinuxBIOS through PCI / intel flash card