Re: [coreboot] Questions about the resource allocator of PCI