[coreboot] Re: Coreboot not scanning all PCI devices