[coreboot] Questions about the resource allocator of PCI