[LinuxBIOS] PCI information changed when linuxbios is used