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