[coreboot] Patch merged into coreboot/master: 20b915f PCI Type2 config must die