Best way for PCI memory allocation?