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