Re: PCI IO memory resource allocation