[coreboot-gerrit] Patch set updated for coreboot: AMD fam10 binaryPI: Remove invalid PCI ops on CPU domain