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