[coreboot-gerrit] New patch to review for coreboot: 7c15290 PCI subsystem: Drop PCI_64BIT_PREF_MEM option