RE: [LinuxBIOS] PCI information changed when linuxbios is used