[coreboot] Need PCI(e) vs PNP resource allocation help