pci: increase memory for device pd

not enough anymore on 32 bit after #989 changes