[coreboot-gerrit] Patch set updated for coreboot: eb0ca6e PCI subsystem: Drop PCI_64BIT_PREF_MEM option