[LinuxBIOS] Configuring PCI devices