[coreboot] pci device memory allocation problem