[coreboot-gerrit] Patch set updated for coreboot: 56fc285 intel/jarrell: Apply ROMCC workaround