Re: [LinuxBIOS] PCI_ADDR