Re: [LinuxBIOS] PCI device memory resource