Re: [coreboot] pci device memory allocation problem