[coreboot] Patch set updated for coreboot: 7f7ba8b Don't unconditionally add support for cardbus and pci-x devices