[LinuxBIOS] pci devices settings question