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