[coreboot-gerrit] Patch set updated for coreboot: d8a7496 resource: Add prefetchable memory resource for PCI domain