[coreboot] Patch merged into coreboot/master: 4adfa20 bd82x6x: Convert all PCI ID lists to new scheme