[coreboot] Patch merged into coreboot/master: c1989c4 haswell: add PCI id support